Greg Buchholz

typetitleauthorlast post sort icon
Forum topicThe Meta-LtU Thread Leon P Smith2009-06-14 13:43
Forum topicMonadic Constraint Programming Greg Buchholz2009-06-04 03:15
Forum topicIntentional tool released raould2009-05-07 19:31
Forum topicAlgebra Of Programming (Bird, De Moor) shahbaz2009-04-27 20:22
Forum topicCoherent Reaction Greg Buchholz2009-04-26 08:07
StoryACM Queue: A Conversation with Alan Kay Ehud Lamm2009-03-24 18:50
StoryTwilight of the GPU Noel2009-02-06 16:44
Forum topicExplaining monads Ehud Lamm2009-01-30 11:43
Forum topicFunctional anti-memoization Greg Buchholz2009-01-26 17:46
Forum topicIrresistible programs Ehud Lamm2008-12-03 21:21
Forum topicObject Oriented Programming + Referential Transparency mjstahl2008-10-30 17:40
Forum topicSystems programming in languages other than C? Gregory Propf2008-08-05 19:58
Forum topicType classes and type generator restrictions Douglas McClean2008-07-28 09:02
Forum topicIn search for a programming language to replace spreadsheets. Søren Haagerup2008-07-24 18:52
Forum topicType system that can type list structure? scottmcl2008-07-01 14:40
Forum topicLisp Lovers, how would you fix Lisp or bring it up to date? Ben Atkin2008-04-29 03:20
Forum topicLanguages best suited for scientific computing? JustinTrellis2008-04-24 18:59
StorySimply efficient functional reactivity Matt Hellige2008-04-10 05:53
Forum topicAxioms and Theorems for a Theory of Arrays Greg Buchholz2008-01-28 08:59
Forum topicEarly vs. late binding dogma/experiences? raould2008-01-07 20:51
StoryInductive Synthesis of Functional Programs: An Explanation Based Generalization Approach Noel2007-11-21 17:40
StoryBinary Lambda Calculus and Combinatory Logic Chris Rathman2007-09-28 23:59
Forum topicYearning for a practical scheme Nathan Sobo2007-08-27 03:37
Forum topicMetaobject protocols: Why we want them and what else they can do Greg Buchholz2007-08-16 07:43
StoryFrom abstract interpretation to small-step typing Chung-chieh Shan2007-07-25 02:34