Watson Ladd

typetitleauthor sort iconlast post
StoryMilawa: A Self-Verifying Theorem Prover for an ACL2-Like Logic Paul Snively2012-02-29 19:59
StoryWhy Object-Oriented Languages Need Tail Calls Leon P Smith2011-10-01 21:58
Forum topicBitC is back Noel2010-03-23 00:25
StoryA Tiny Computer Luke Gorrie2009-06-06 05:39
StoryLinear Logic and Permutation Stacks--The Forth Shall Be First Luke Gorrie2009-03-14 06:49
StoryA Machine-Checked Model for a Java-Like Language, Virtual Machine, and Compiler Allan McInnes2009-02-16 15:44
Forum topicThe Origins of the BitC Programming Language Isaac Gouy2009-01-30 00:38
StoryDifferentiating regions Ehud Lamm2008-08-18 21:54
Forum topicPreemptive concurrency via compiler-inserted checks naasking2008-06-16 03:59
Forum topicGenerating useful errors in a functional stream parser Alex Rubinsteyn2007-09-13 16:14
StoryAn Intensional Type Theory: Motivation and Cut-Elimination neelk2007-03-19 11:13
StorySecond Life Faces Threat to its Virtual Economy Paul Snively2006-11-18 09:04
StoryMarc Andreessen: A Web Odyssey Ehud Lamm2006-09-22 01:07
Forum topicConcurrency made easy? drwhite2006-09-18 23:14