Home » user account

Greg Buchholz

typetitleauthorlast post sort icon
StoryLtU: Policies document Ehud Lamm2006-07-03 19:27
Forum topicHow are GADTs useful in practical programming? Klaus Ostermann2006-06-21 13:31
Forum topicML Modules and Haskell Type Classes: A Constructive Comparison Greg Buchholz2006-06-18 00:51
Forum topicRelevance of Curry-Howard Klaus Ostermann2006-06-12 13:36
Forum topicMultidimensional Virtual Classes Niels Hoogeveen2006-06-10 06:39
StoryBuilding Interpreters by Composing Monads Andris Birkmanis2006-05-22 20:37
Forum topicOptimization - Symmetric Reductions cdiggins2006-05-11 04:08
Forum topicForum usability andnaess2006-05-05 21:16
Forum topicFilter-Reduce Optimization cdiggins2006-05-02 16:16
Forum topicany functional language without GC? ninegua2006-04-08 20:09
StoryTowards Applicative Relational Programming Charles Stewart2006-03-30 15:46
Forum topicACM Queue: On Usability of Programming Languages raould2006-03-20 14:59
Forum topicRich resource site for the programming language "K" Todd Coram2006-03-14 23:42
StoryIan Bicking: The challenge of metaprogramming Ehud Lamm2006-03-06 17:42
Forum topicIs STL algorithms doing damage to the cause? Koray Can2006-02-13 15:17
Forum topicWhat is a monad, why should I use it, and when is it appropriate? Jonathan Allen2006-02-03 10:54
Forum topicPromising OS's from a Programming Language Perspective John Carter2006-01-30 17:36
StoryHaskell is not not ML Ehud Lamm2006-01-24 20:23
StoryThe essence of Dataflow Programming by Tarmo Uustalu and Varmo Vene shapr2006-01-12 16:51
Forum topicBruce Tate: Technologies that may challenge Java shahbaz2006-01-12 06:01
StoryAuld Lang Alice Chris Rathman2006-01-05 22:20
Forum topicTypes and reflection andnaess2005-12-14 08:23
Forum topicConjunction types jimdesu2005-12-05 16:21
StoryMonads in Ruby Matt Hellige2005-11-24 11:12
Forum topicInvariants/Contracts vs. types dbfaken2005-11-08 22:31