Niels Hoogeveen

typetitleauthor sort iconlast post
Forum topicWhy type systems are interesting - part II Ehud Lamm2006-12-08 01:38
StoryA type-correct, stack-safe, provably correct, expression compiler in Epigram Niels Hoogeveen2006-10-02 18:13
StoryVisual Basic and LINQ Erik Meijer2006-09-26 11:35
Forum topicThe three dimensions of proofs Niels Hoogeveen2006-09-14 17:42
StoryIvor, a proof engine Niels Hoogeveen2006-08-08 15:02
StoryA Core Calculus for Scala Type Checking Niels Hoogeveen2006-07-22 15:59
StoryGottfried Wilhelm Leibniz Niels Hoogeveen2006-07-01 15:34
Forum topicThe Role of Type Equality in Meta-Programming Niels Hoogeveen2006-06-26 15:49
Forum topicHow are GADTs useful in practical programming? Klaus Ostermann2006-06-21 13:31
StoryCharles Babbage Institute Niels Hoogeveen2006-06-21 11:27
StoryA Mobility Calculus with Local and Dependent Types Niels Hoogeveen2006-06-20 12:47
Forum topicWhy only 'minimal' languages Karsten Wagner2006-06-19 15:33
Forum topicMultidimensional Virtual Classes Niels Hoogeveen2006-06-10 06:39
StoryAutomath Niels Hoogeveen2006-05-20 12:19
StoryAlan Turing Niels Hoogeveen2006-05-20 12:04
Forum topicGADT's revisited Niels Hoogeveen2006-04-14 11:11
Forum topicA virtual class calculus Niels Hoogeveen2006-03-28 16:44
Forum topicTwenty-First Century Compilers Scott Johnson2005-12-06 00:38
StoryLtU etiquette Ehud Lamm2005-10-10 17:42
Forum topicMost Productive FP Lang? David B. Held2005-09-26 03:14