cdiggins

typetitleauthor sort iconlast post
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
Forum topichelp with understanding combinatory logic happycow2008-06-10 08:13
Forum topicsuccinctness Curtis W2008-05-28 19:57
Forum topicStatic Analysis for Duck Typing grom3582008-05-03 22:13
Forum topicOn Presenting Operational Semantics cdiggins2008-04-25 21:57
Forum topicFolding neither Left nor Right (or how to avoid overspecifying the solution to a problem) cdiggins2008-04-22 17:11
StoryHMF: Simple type inference for first-class polymorphism cdiggins2008-04-22 15:06
Forum topicCan local variables assignments be considered pure functional without monads? cdiggins2008-04-14 12:55
Forum topicRewriting rules for deducing properties of functions cdiggins2008-04-07 13:25
Forum topicRhope a dataflow-based language Denis Bredelet -jido2008-03-27 02:24
Forum topicRole of Types in Evaluation Strategy cdiggins2008-03-22 12:39