Posts By: Thomas Schilling
Date | Post | Topic |
10/28/2009 | Video of Presentation | Causal Commutative Arrows and Their Optimization |
04/05/2009 | Modular Compiler Optimisations | Twitter and Scala |
12/15/2008 | Lazy vs Strict | Programmable Concurrency in a Pure and Lazy Language |
08/25/2007 | Screenshots? | VamOz: Visual Abstract Machine for Oz |
08/16/2007 | Formalizing | Type Theories |
08/03/2007 | Very neat indeed! | Theorem proving support in programming language semantics |
12/02/2006 | Some Keywords | Practical Laziness |
11/18/2006 | Maybe this is of interest | Testing Telecoms Software with Quviq QuickCheck |
11/02/2006 | Which Meta-programming? | A rationale for semantically enhanced library languages |
11/03/2006 | Template Haskell | A rationale for semantically enhanced library languages |
10/27/2006 | Details? | Practical OCaml |
10/27/2006 | GADTs are closed? | GADT vs. Type Classes |
10/17/2006 | Ah ... | Delevoping a new language... |
10/20/2006 | Textual description? | Delevoping a new language... |
10/11/2006 | Hm, if I were a pacifist (or | The US Torture Bill as C code |
09/24/2006 | I know no Erlang internals, but ... | What Makes Erlang Processes Tick? |
09/24/2006 | OO: Java?! | Designing a Programming Textbook |
09/20/2006 | Link dead? | Lectures on the Curry-Howard Isomorphism |
12/02/2006 | D-Expressions | Parser that allow syntax extensions |
06/06/2006 | Can Erlang be this convenient, too? | Common Lisp Exception Handling |
06/06/2006 | That's not quite new ... | emulation for Erlang style processes |
LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |