typetitleauthorlast post sort icon
Forum topicLanguage/Compiler design blogs? Azh2011-10-04 09:20
Forum topicSECD Machine - RAP? cdiggins2011-10-03 12:00
Forum topicAn Accidental Simula User, Luca Cardelli Isaac Gouy2011-09-15 12:44
Forum topicImplementor's guide/tutorial to delimited continuations? Manuel J. Simoni2011-08-02 18:56
Forum topicContinuations that store the heap? cdiggins2011-03-25 04:47
Forum topicexpressivity of "idiomatic C++" el-vadimo2010-11-10 22:56
Forum topicSimply Easy! (An Implementation of a Dependently Typed Lambda Calculus) Greg Buchholz2010-10-22 21:48
Forum topicUnifying Actors and Objects? Shrutarshi Basu2010-09-15 01:04
Forum topicInterpreter to compiler generator? pdf23ds2010-06-12 15:53
StoryCapabilities for External Uniqueness James Iry2010-05-14 19:30
Forum topicOperator precedence andrewzboard2010-01-27 16:21
Forum topicSyntax of Literal Tables (Assocative Collections) and Auto-generated fields cdiggins2010-01-21 22:49
Forum topicParameterized Modules cdiggins2010-01-09 20:50
StoryObjects as Modules in Newspeak James Iry2009-12-27 23:52
Forum topicMetaprogramming and Heron : Five Years Later cdiggins2009-12-16 12:33
StoryA Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions cdiggins2009-10-23 11:46
Forum topicStandard, simple subset of Scheme for experimentation? dpmulligan2009-10-15 12:18
StoryNatural Deduction Reading for Beginners cdiggins2009-07-22 15:29
Forum topicThe Church-Turing Thesis: Breaking the Myth naasking2009-07-18 00:45
Forum topicTarget Backend for a Uniquely Typed Language Chris Nicholls2009-06-22 16:04
Forum topicPreventing downcasting and adding a universal variant cdiggins2009-06-16 22:17
Forum topicExtension Methods versus Structural Typing of Traits for solving the expression problem cdiggins2009-05-20 10:47
Forum topicsource code conversion bokel2009-05-03 14:49
StoryLinear Logic and Permutation Stacks--The Forth Shall Be First Luke Gorrie2009-03-14 06:49
StoryHelp John Baez and Mike Stay! Matt Hellige2009-02-27 19:25