Martijn Vermaat

typetitleauthorlast post sort icon
StoryThe Fortress Language Spec v0.618 Dave Herman2010-12-13 04:24
Forum topicexpressivity of "idiomatic C++" el-vadimo2010-11-10 22:56
Forum topicNon-null references? Mike Hearn2008-03-14 21:05
Forum topicA modular toolchain for parsing and compiling code? Thomas Danecker2008-02-26 10:38
StoryCode Generation Network Ehud Lamm2006-11-18 19:17
Forum topicWhat are the real benefits of FP? dataangel2006-07-09 20:03
Forum topicEmail/news interface Jeff Nowakowski2006-06-29 20:09
Forum topicRelevance of Curry-Howard Klaus Ostermann2006-06-12 13:36
StoryProofs are Programs: 19th Century Logic and 21st Century Computing shapr2006-05-30 17:35
StoryLinspire chooses Haskell as preferred language Ehud Lamm2006-05-29 17:29
Forum topicForum usability andnaess2006-05-05 21:16
Forum topicThe fundamental difference between Sets and Lists? Robbert van Dalen2006-04-27 12:55
StoryDjinn, a theorem prover in Haskell, for Haskell. shapr2006-01-24 18:58
Forum topicNew languages for OS level programming? dataangel2005-12-01 17:30
Forum topicWhy Lists? David B. Held2005-11-01 21:15
Forum topicParsing and syntax reordering kruhft2005-11-01 18:12
Forum topicIssue One of The Monad.Reader, monthly Haskell eZine shapr2005-10-02 21:58
Forum topicMemory fault and segmentation faults pakumar212005-08-04 21:46
StoryAdam Bosworth: Ajax reconsidered Ehud Lamm2005-06-09 14:41
Forum topicresources related to logic? shahbaz2005-05-16 17:53
StoryOCaml vs. C++ for Dynamic Programming Ehud Lamm2005-03-21 14:06
Forum topicLangauges and Hardware... Matt Estes2005-02-15 17:11
StoryCode Generation with Python, Cog, and Nant Ehud Lamm2005-02-13 19:13
Forum topicDynamic Eager Haskell Greg Buchholz2005-01-19 15:18