Posts By: Martijn Vermaat
| Date | Post | Topic |
| 02/26/2008 | Example: Stratego/XT | A modular toolchain for parsing and compiling code? |
| 06/21/2006 | Don't try to put everything in a box | What are the real benefits of FP? |
| 06/05/2006 | Some years ago | Email/news interface |
| 06/06/2006 | Are you implying that | Email/news interface |
| 06/04/2006 | Logic side | Relevance of Curry-Howard |
| 06/04/2006 | Ok, but that's not what I said | Relevance of Curry-Howard |
| 05/26/2006 | No, he is right | Linspire chooses Haskell as preferred language |
| 05/22/2006 | Personal experience | Code Generation Network |
| 05/13/2006 | Nice | Non-null references? |
| 05/30/2006 | Yes | Proofs are Programs: 19th Century Logic and 21st Century Computing |
| 04/25/2006 | However on modern computers | The fundamental difference between Sets and Lists? |
| 12/16/2005 | Systematic search for lambda expressions | Djinn, a theorem prover in Haskell, for Haskell. |
| 12/01/2005 | Safe languages in Minix 3 | New languages for OS level programming? |
| 12/01/2005 | I pretty much copied the info | New languages for OS level programming? |
| 11/01/2005 | The examples you give suggest | Parsing and syntax reordering |
| 10/24/2005 | Not only lists | Why Lists? |
| 10/24/2005 | Algebraic DTs | Why Lists? |
| 05/03/2006 | He did not miss it | Forum usability |
| 08/16/2005 | Greasemonkey enhancements | Forum usability |
| 06/03/2005 | Unfair quoting | Adam Bosworth: Ajax reconsidered |
| 05/16/2005 | Printed | Resources related to logic? |
| 05/16/2005 | Types | Resources related to logic? |
| 04/28/2005 | Wrong topic? | Memory fault and segmentation faults |
| 04/29/2005 | Two-way street | The Fortress Language Spec v0.618 |
| 04/02/2005 | Not sure, | expressivity of "idiomatic C++" |
| 03/15/2005 | Google Groups | OCaml vs. C++ for Dynamic Programming |
| 06/02/2005 | Other formats available? | Issue One of The Monad.Reader, monthly Haskell eZine |
| 06/03/2005 | It's not the file format per se | Issue One of The Monad.Reader, monthly Haskell eZine |
| 06/03/2005 | Understood | Issue One of The Monad.Reader, monthly Haskell eZine |
| 02/09/2005 | MetaBorg | Code Generation with Python, Cog, and Nant |
| 01/26/2005 | Hardware JVM | Langauges and Hardware... |
| 01/18/2005 | Combining eager and lazy evaluation | Dynamic Eager Haskell |
| 05/25/2004 | Re: Turing completeness is not? | Turing completeness is not? |
| 03/17/2004 | Re: Min-Maxing languages | Min-Maxing languages |
| 03/17/2004 | Re: Min-Maxing languages | Min-Maxing languages |
| 05/25/2003 | Re: Site speed | Site speed |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |