cdiggins

typetitleauthorlast post sort icon
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
Forum topicMacro systems cdiggins2009-01-22 17:50
StoryPrediction for 2008 Ehud Lamm2008-12-29 15:56
Forum topicCurrying != Generalized Partial Application?! cdiggins2008-10-29 20:58
StoryErasmus: A Modular Language for Concurrent Programming cdiggins2008-09-10 10:23
Forum topicML Closure vs Scheme Closure cdiggins2008-09-10 03:28
Forum topicCat Interpreter in JavaScript with Turtle Graphics cdiggins2008-06-16 20:38