cdiggins

typetitleauthor sort iconlast post
StoryThe Verse Calculus: a Core Calculus for Functional Logic Programming cdiggins2024-01-11 00:12
StoryPlatonic C# - Managing Referential Transparency through Unique Types cdiggins2023-04-05 14:26
Forum topicLinearLisp: a proof of concept in full linearization for AST-walking interpreters Cyril2023-03-10 07:59
Forum topicThe Heron Programming Language cdiggins2018-04-27 04:46
Forum topicSK Calculus not Consider SeKsy? cdiggins2017-06-10 16:33
Forum topicLiving it up with a Live Programming Language Sean McDirmid2017-06-10 16:27
Forum topicMCG: A Visual Functional Programming Language cdiggins2015-11-02 19:34
Forum topicThose pesky higher-rank types. Or how to type \f x y. (f x, f y) marco2014-05-26 17:22
Forum topicParsing expression grammar MohamedIBrahim2014-03-07 14:05
Forum topicSyntax for reification of types cdiggins2014-03-04 19:20
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