Posts By: Wouter Swierstra
| Date | Post | Topic |
| 12/14/2009 | Morrow | Implementation of Cardelli and Daan Leijen Style Record Systems? |
| 09/07/2009 | Unembedding Domain-Specific Languages | Solving the expression problem with type classes |
| 09/07/2007 | Syntax and Semantics of Dependent Types | Examples of Categorical Semantics for Languages with Dependent Types |
| 04/30/2007 | The Monad.Reader | The Monad.Reader |
| 06/08/2006 | Dana Harrington's thesis | Linear Types vs. Uniqueness Typing |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |