Niels Hoogeveen

typetitle sort iconauthorlast post
Forum topicWhat do you believe about Programming Languages (that you can't prove (yet))? John Carter2009-05-23 23:23
StoryLtU: blog not forum! Ehud Lamm2009-02-14 14:11
Forum topicLet's make a programming language! Achilleas Margaritis2008-09-12 09:21
StoryEvent-Based Programming without Inversion of Control Matt Hellige2008-08-16 07:58
StoryThe expression problem, Scandinavian style Ehud Lamm2007-05-07 20:34
Forum topicWhy is there not a PL with a mathematical type system? gueven2007-04-25 14:14
StoryOmega Bryn Keller2007-03-20 21:02
Forum topicComplex networks and human language Niels Hoogeveen2007-02-10 18:33
StoryType-Level Computation Using Narrowing in Omega Niels Hoogeveen2007-02-08 22:41
Forum topicWhy Are ALL Programming Languages So Low Level? Vorlath2007-01-16 22:41
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