typetitleauthorlast post sort icon
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
StoryApplied Metamodelling: A Foundation for Language Driven Development cdiggins2008-03-20 21:35
Forum topicRecursive Algorithms that cannot be expresses with Tail-Recursion? Anon Adderlan2008-02-19 15:09
Forum topicLanguages and data conversions. David Ryan2008-02-14 21:32