Tim Sweeney

type sort icontitleauthorlast post
Forum topicInteresting new paper from T. Sweeney and others jasonwatkinspdx2018-01-22 05:09
StoryCombining lazy and eager evaluation of terms Ehud Lamm2015-03-14 06:12
StoryGilad Is Right Erik Meijer2014-03-23 13:38
StoryWhy Did M.I.T. Switch from Scheme to Python? Leon P Smith2013-09-12 17:06
Forum topicCost of provably-correct code Ehud Lamm2013-07-06 19:56
Forum topicNesting of quasi-quotation Jules Jacobs2013-05-08 03:50
StoryOleg: An argument against call/cc bashyal2012-09-13 17:06
StoryThe YNot Project Paul Snively2012-08-17 23:32
StoryThe Weird World of Bi-Directional Programming Ehud Lamm2011-10-07 21:43
Forum topicMiddle History of Logic Programming Hewitt2011-06-28 02:49
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