Tim Sweeney

type sort icontitleauthorlast post
StoryInvertible Syntax Descriptions: Unifying Parsing and Pretty Printing James Iry2011-02-05 00:39
StoryScala Team Wins ERC Grant Ehud Lamm2011-01-18 05:47
StoryGenerics: The Importance of Wildcards Ehud Lamm2011-01-14 15:36
Forum topicThe Myths of Object-Orientation el-vadimo2010-12-21 17:28
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
StoryJoe Duffy: A (brief) retrospective on transactional memory Z-Bo2010-09-09 12:58
StoryType Classes as Objects and Implicits Paul Snively2010-08-26 06:09
Forum topicOverlapping Instances + Functional Dependencies Unsound? shap2010-08-08 15:11
StoryScribble: Closing the Book on Ad Hoc Documentation Tools Manuel J. Simoni2010-07-23 23:54
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