typetitleauthorlast post sort icon
StoryOn Understanding Data Abstraction, Revisited Z-Bo2012-06-28 01:36
StoryUsing Promises to Orchestrate Web Interactions Ehud Lamm2009-01-22 04:07
StoryVerifying Compiler Transformations for Concurrent Programs Ehud Lamm2009-01-12 07:57
StoryRevisiting Coroutines naasking2008-07-18 12:31
Forum topicStatistical Defect Detection? taral2008-05-04 18:24
StoryAlgebra of programming using dependent types Matt Hellige2008-04-16 07:27
StoryCLL: A Concurrent Language Built from Logical Principles Andris Birkmanis2007-07-04 22:25
StoryModular Verification of Assembly Code with Stack-Based Control Abstractions cdiggins2007-04-22 13:44
StoryBit Stream Programing in Erlang James Hague2006-12-26 21:49
StoryZipper-based file server/OS shapr2006-07-13 10:13
StoryPublic resources for ECMAScript Edition 4 Dave Herman2006-06-09 08:35
StoryJavaScript 2 and the Future of the Web Dave Herman2006-06-07 10:18
StoryInsights on teaching computer programming Peter Van Roy2006-06-04 14:34
Forum topicNarrative Javascript doublec2006-06-01 16:37
StoryLeak Free Javascript Closures Ehud Lamm2006-03-01 07:45
StoryComposable memory transactions Ehud Lamm2006-02-21 09:08
StoryBottom-Up beta-Substitution: Uplinks and lambda-DAGs Andris Birkmanis2005-06-10 00:49
StoryJudy Stores Mark Evans2005-06-04 13:44
StoryLinear Forwarders Andris Birkmanis2005-03-16 13:33