Tim Sweeney

type sort icontitleauthorlast post
StoryFunctional Pearl: Species and Functors and Types, Oh My! Matt Hellige2010-07-05 09:38
StoryIntel Concurrent Collections for Haskell Ehud Lamm2010-06-28 22:01
Forum topicShould let be generalized? Douglas McClean2010-03-12 21:18
Forum topicNaNs and reflexivity Bertrand_Meyer2010-02-16 14:50
Forum topicThe Next Mainstream Programming Languages Per Vognsen2010-01-24 13:32
Forum topicPragmatic declarative event abstraction Sean McDirmid2009-12-05 02:56
Forum topicSeeking broad survey of wide range of concurrency idioms scottmcl2009-11-06 19:57
StorySequenceL - declarative computation on nonscalars Allan McInnes2009-11-03 12:28
StoryPatrick Logan on Software Transaction Memory Ehud Lamm2009-10-26 21:48
StoryThe End of the GPU Roadmap Noel2009-10-23 10:03
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