Home » user account

Greg Buchholz

typetitleauthorlast post sort icon
Forum topicStatic type inference & late binding? raould2006-11-13 16:16
Forum topicWant to learn something new pureza2006-11-12 19:49
StoryTim Bray: Dynamic-Language IDEs Ehud Lamm2006-10-04 11:37
Forum topicSSA + Type Inference = "Compile time" dynamic typing, "runtime" static typing? Logan Capaldo2006-09-25 16:45
StoryCellang Ehud Lamm2006-09-19 20:32
Forum topicImplementing arrays dataangel2006-09-02 09:52
StorySoftware Extension and Integration with Type Classes Matt Hellige2006-08-08 08:51
StoryThe right default: concurrent components with message passing Peter Van Roy2006-07-22 16:37
Forum topicFirst Class Values, Types as values within a Programming Language Bruce Rennie2006-07-20 00:50
StoryAbstracting Allocation: The New new Thing Ehud Lamm2006-07-12 20:28
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