Tim Sweeney

typetitleauthor sort iconlast post
Forum topicMonadic Constraint Programming Greg Buchholz2009-06-04 03:15
Forum topicWhat is the dual of { } ? Kay Schluehr2009-02-12 08:58
Forum topicRuling out nonsensical data type definitions Douglas McClean2009-02-03 22:54
Story On the Strength of Proof-Irrelevant Type Theories James Iry2009-01-16 12:10
Forum topicAny problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) scottmcl2009-01-11 22:50
StoryGeneralized Algebraic Data Types and Object-Oriented Programming Ehud Lamm2008-10-24 22:08
Forum topicOn the importance of Turing completeness jdgallag2008-06-16 22:31
Story Species: making analytic functors practical for functional programming neelk2008-05-30 04:45
StoryAutomatic Patch-Based Exploit Generation Charles Stewart2008-04-30 06:49
Forum topicFolding neither Left nor Right (or how to avoid overspecifying the solution to a problem) cdiggins2008-04-22 17:11
StoryArc is released Ehud Lamm2008-03-21 12:07
StoryPure, Declarative, and Constructive Arithmetic Relations Ehud Lamm2008-03-17 19:38
Forum topicVariation of C's inline conditional derekp2008-03-14 12:18
Forum topic"Practical" advantages of lazy evaluation chinu2008-03-11 11:16
Forum topicUniform naming George Morrison2008-02-20 22:21
Forum topicfoundations for J, APL etc shoe2008-01-27 19:55
Forum topicA Growable Language Manifesto RobJellinghaus2007-12-24 20:01
StoryParametric datatype-genericity Ehud Lamm2007-12-05 03:39
Forum topicDerivation trees for lambda-calculus ilSignorCarlo2007-11-28 22:03
Forum topicUniversal Type System Akhilesh Mritunjai2007-11-24 18:01
Forum topicPetition for adding garbage collection to C++. Achilleas Margaritis2007-11-20 16:24
Forum topicComprehensions with ‘Order by’ and ‘Group by’ Isaac Gouy2007-08-28 10:31
Forum topicMerging Functions, Modules, Classes, the whole nine yards... Jason Dusek2007-08-02 21:13
Forum topicPartial evaluation applied to high speed lighting preview sigfpe2007-07-30 22:25
StoryNaked Objects Noel2007-06-12 23:46