Dave Herman

type sort icontitleauthorlast post
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
Forum topicWhy type systems are interesting - part II Ehud Lamm2006-12-08 01:38
Forum topicUnderstanding continuations Keith Devens2006-12-06 23:43
Forum topicHaskell -> Javascript converter, kind of dbfaken2006-11-22 18:12
StoryA Very Modal Model of a Modern, Major, General Type System Ehud Lamm2006-11-08 20:17
Forum topicBlock-scope mrpingouin2006-10-18 15:00
Forum topicOn Publishing cdiggins2006-10-17 16:41
StoryDelimited Control for PLT Scheme Dave Herman2006-10-17 07:36
StoryDraft R6RS available Dave Herman2006-09-23 09:01
StoryeWeek: Sun Digging Deep for Dynamic Language Support Ehud Lamm2006-08-05 07:02
StoryPublic resources for ECMAScript Edition 4 Dave Herman2006-06-09 08:35