Dave Herman

type sort icontitleauthorlast post
StoryArc is released Ehud Lamm2008-03-21 12:07
Forum topicNon-null references? Mike Hearn2008-03-14 21:05
StoryWhat do you mean by studying "programming languages"? Ehud Lamm2008-01-22 18:34
Forum topicFeatherweight JavaScript? Andris Birkmanis2008-01-11 00:24
StoryThreads in JavaScript? Dave Herman2007-12-21 14:28
StoryECMAScript 4 overview paper doublec2007-11-07 04:52
StoryECMAScript Edition 4 and Backwards Compatibility Dave Herman2007-11-07 01:31
StoryRob Pike on Concurrency and Message passing in Newsqueak Ehud Lamm2007-09-17 17:08
Forum topicLectures on the Curry-Howard Isomorphism Ehud Lamm2007-08-28 17:18
StoryCompiling with Continuations, Continued neelk2007-08-22 22:03
StoryCloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams neelk2007-08-09 13:48
Forum topicTerminology: Thunking vs Quoting cdiggins2007-06-01 12:01
Forum topicFunctional Object-Oriented Programming Jason Dusek2007-05-06 19:32
StoryThe New Twelf Wiki neelk2007-03-23 00:49
Forum topicThe Current Practical Limit of Static Typing Noel2007-03-15 12:56
StoryActors that Unify Threads and Events James Hague2007-02-27 09:35
Forum topicEffects in Types cdiggins2007-02-22 11:17
StorySpecifying ECMAScript via ML Dave Herman2007-02-13 18:03
StoryProgramming Shorthands James Hague2007-02-10 00:09
StorySeparation Logic: A Logic for Shared Mutable Data Structures neelk2007-02-04 05:34
StoryNew RSS Feed(s) Anton van Straaten2007-02-02 21:05
StoryA Visual Environment for Developing Context-Sensitive Term Rewriting Systems Ehud Lamm2007-01-23 19:15
Forum topicInterlanguage Migration: From Scripts to Programs dbfaken2007-01-18 18:51
Forum topicScheme interpreters written in Standard ML? Chris Rathman2007-01-17 04:34
StoryMechanized Metatheory Model-Checking Jim Apple2006-12-11 21:44