Home » user account

Greg Buchholz

typetitleauthorlast post sort icon
Forum topicAutomatic termination proofs for programs with shape-shifting heaps Greg Buchholz2007-02-12 20:44
StoryProgramming Shorthands James Hague2007-02-10 00:09
StoryTermination Checking with Types neelk2007-02-09 20:53
StoryGeneric Programming, Now! Ehud Lamm2007-02-02 23:34
StoryA Visual Environment for Developing Context-Sensitive Term Rewriting Systems Ehud Lamm2007-01-23 19:15
Forum topicHave I Missed Something ? seancharles2007-01-22 23:06
Forum topicMissing style for <quote>? Greg Buchholz2007-01-04 04:35
Forum topic(Even more) theorems for free? Andris Birkmanis2007-01-03 21:55
Forum topicMetrics for Programmatic Complexity? johnnyb2007-01-03 16:34
Forum topicType inference and unification algorithms procyon2007-01-03 00:19
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