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 |