Posts By: Darin Morrison
| Date | Post | Topic |
| 02/16/2007 | not-so-obvious interpretation | Why people don't use functional programming? |
| 06/02/2006 | Curry-Howard and Typical Programming Languages | Relevance of Curry-Howard |
| 05/10/2006 | Lisp in the 1800s? | The Nature of Lisp (a tutorial) |
| 05/08/2006 | Action Calculi? | What do you believe about Programming Languages (that you can't prove (yet))? |
| 04/29/2006 | I'm not exactly sure I see | Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) |
| 03/09/2006 | Types and Programming Languages | Language Design Tips |
| 02/01/2006 | Mathematical Monads and the Maybe Monad | What is a monad, why should I use it, and when is it appropriate? |
| 02/01/2006 | Monads as Abstractions of Computational Characteristics | What is a monad, why should I use it, and when is it appropriate? |
| 01/21/2006 | Formality? | Lisp is sin |
| 01/21/2006 | Nemerle Macros | Lisp is sin |
| 11/20/2005 | Probably not, but probably not the point... | Fortress Specs Updated: 0.785 |
| 12/21/2005 | liftM | Bruce Tate: Technologies that may challenge Java |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |