recent posts

typetitleauthorlast post sort icon
Forum topicWriting practical memory management code with a strictly typed assembly language naasking2008-03-12 00:29
Forum topicEducational environments to learn programming chihiro2008-03-11 22:55
Forum topic"Practical" advantages of lazy evaluation chinu2008-03-11 11:16
Forum topicA Question about Overlap cjh2008-03-07 19:49
Forum topicBell-LaPadula and type safety johnwcowan2008-03-06 15:04
Forum topicLearning language design vishal2008-03-05 17:28
StorySliced Bananas On Opaque Data Matt Hellige2008-03-05 16:46
StoryCFP: Programming Languages for Mechanized Mathematics Workshop Jacques Carette2008-03-05 16:28
StoryUniqueness Typing Simplified naasking2008-03-05 14:34
StoryEasyExtend - Python MetaProgramming andrew cooke2008-03-05 07:19