Posts By: Sam Lindley
| Date | Post | Topic |
| 05/23/2012 | Given any deterministic | Languages with 'unique' programs |
| 11/02/2011 | Links | Extensible Programming with First-Class Cases |
| 10/13/2011 | Better with delimited continuations | Data, Codata, and Their Implications for Equality, and Serialization |
| 01/07/2011 | This approach can become | The AST Typing Problem |
| 06/19/2010 | As neelk already said, | Looking for a proof that eager reduction is as strong as lazy reduction |
| 12/11/2009 | Row polymorphism is a kind of parametric polymorphism | Implementation of Cardelli and Daan Leijen Style Record Systems? |
| 12/11/2009 | row polymorphism =/= subtyping | Implementation of Cardelli and Daan Leijen Style Record Systems? |
| 12/12/2009 | Nice | Implementation of Cardelli and Daan Leijen Style Record Systems? |
| 06/06/2009 | Extensible programming with first-class cases | Are extensible records first class patterns? |
| 11/10/2008 | Type inference | Extensible tuples? |
| 05/05/2008 | Thanks for the interest in | Arrows generalise monads and idioms |
| 02/10/2007 | Links is the most popular programming language | Why people don't use functional programming? |
| 10/24/2006 | True, but it can be rather | Specifying ECMAScript via ML |
| 07/01/2005 | HTML is not expressive enough | Links Demos |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |