Dave Herman

type sort icontitleauthorlast post
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
StoryJavaScript 2 and the Future of the Web Dave Herman2006-06-07 10:18
Forum topicJavascript department Ehud Lamm2006-06-04 18:54
StoryNarrative Javascript andrew cooke2006-06-04 15:08
StoryProofs are Programs: 19th Century Logic and 21st Century Computing shapr2006-05-30 17:35
Forum topicJavaScript 2.0: Evolving a Language for Evolving Systems Isaac Gouy2006-05-23 11:40
StoryPaul Vick: BASIC principles Ehud Lamm2006-05-20 18:34
Forum topicPersistent functional databases Robbert van Dalen2006-04-26 07:13
StoryNative delimited continuations in (byte-code) OCaml Ehud Lamm2006-04-12 22:38
Forum topicProgramming: 50, 100 years from now shahbaz2006-04-03 17:51
StoryACL2 in DrScheme Dave Herman2006-04-01 01:57