recent posts

typetitleauthorlast post sort icon
Forum topicType Refinements for Programming Languages Jim Apple2006-02-02 05:44
StoryThe essence of ML type inference Jim Apple2006-02-02 05:40
Forum topicU, a small model cyarvin2006-02-01 20:37
Forum topicEverything Your Professor Failed to Tell You About Functional Programming mvw2006-01-31 23:00
StoryRobert Harper Named as ACM Fellow Matt Hellige2006-01-31 22:58
StoryMyHDL Ehud Lamm2006-01-31 16:16
StoryPyPy Ehud Lamm2006-01-31 14:28
StoryScala 2 Matt Hellige2006-01-31 05:57
Forum topicA-Posteriori Subtyping: Which Languages? cdiggins2006-01-31 03:52
StoryJavascript Inheritance Ehud Lamm2006-01-30 20:28