Home » user account

Greg Buchholz

typetitleauthorlast post sort icon
Forum topichypothetical question Jeff Cutsinger2007-01-02 07:14
Forum topicTransparent Persistence playergiro2006-12-20 17:31
Forum topicunchecked exceptions are like runtime type checking? lumpynose2006-12-13 09:40
Forum topicExtremely static language? viergroupie2006-12-09 01:28
Forum topicWhy type systems are interesting - part II Ehud Lamm2006-12-08 01:38
Forum topicC++ has indeed become too "expert friendly" Isaac Gouy2006-12-07 14:01
StoryModular Type Classes Jim Apple2006-12-04 21:42
Forum topicFunctional programming and software engineering Kay Schluehr2006-11-20 17:36
StoryStroustrup: A Brief Look at C++0x Ehud Lamm2006-11-15 10:37
StoryPractical OCaml Matt Hellige2006-11-14 13:41
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