Home » user account

Matt Hellige

typetitleauthorlast post sort icon
StoryPreliminary Fortress Interpreter Matt Hellige2007-01-09 21:34
Forum topichypothetical question Jeff Cutsinger2007-01-02 07:14
StoryComparing Approaches to Generic Programming in Haskell Andris Birkmanis2006-12-23 16:27
StorySeminar: Classical vs. Quantum Computation Matt Hellige2006-12-21 21:16
StoryJava Open Review Project Ehud Lamm2006-12-16 11:29
StoryDirectness and liveness in the morphic user interface construction environment Luke Gorrie2006-12-12 07:06
StoryMechanized Metatheory Model-Checking Jim Apple2006-12-11 21:44
Forum topicExtremely static language? viergroupie2006-12-09 01:28
Forum topicWhy type systems are interesting - part II Ehud Lamm2006-12-08 01:38
Forum topicUnderstanding continuations Keith Devens2006-12-06 23:43
StoryModular Type Classes Jim Apple2006-12-04 21:42
StoryVideo: The Scala Experiment Chris Rathman2006-11-20 22:11
StorySun Open Sources Java Platform Ehud Lamm2006-11-18 09:51
StoryPractical OCaml Matt Hellige2006-11-14 13:41
Forum topicWant to learn something new pureza2006-11-12 19:49
StoryHolodeck games and CCCs Matt Hellige2006-10-23 23:03
StoryA Madman Dreams of Turing Machines Matt Hellige2006-10-13 21:31
StoryRuby the Rival segphault2006-10-13 12:01
StoryVisual Basic and LINQ Erik Meijer2006-09-26 11:35
Forum topicAdvantages of Soft Typing Curtis W2006-08-29 22:21
Forum topicPMD with CLOS-style Method Combination rhat2006-08-11 15:01
StoryComonadic Functional Attribute Evaluation Matt Hellige2006-08-09 19:42
StorySoftware Extension and Integration with Type Classes Matt Hellige2006-08-08 08:51
StoryeWeek: Sun Digging Deep for Dynamic Language Support Ehud Lamm2006-08-05 07:02
Forum topicHow do Java generics correspond to System F-(omega)? Chung-chieh Shan2006-07-12 22:39