cdiggins

typetitleauthor sort iconlast post
Forum topicCost of provably-correct code Ehud Lamm2013-07-06 19:56
Forum topicWhat will programming look like in 2020? Sean McDirmid2013-03-01 03:45
Forum topicLanguage Implementation 101 qznc2012-08-09 07:37
Forum topicGo's proposed panic/recover exception-like mechanism pgregory2012-01-07 01:57
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