Charles Stewart

typetitle sort iconauthorlast post
StoryGuy Steele on Language Design Matthew Morgan2006-01-18 23:04
StoryProgramming a compiler with a proof assistant Charles Stewart2006-01-17 22:45
StoryFrege's Contribution to Philosophy of Language Ehud Lamm2005-12-15 18:01
StoryOOPSLA 2005 Reports Ehud Lamm2005-11-08 17:50
Forum topicGeometric Algebra Derek Elkins2005-11-04 00:16
Forum topicCurry/Howard and Disjunction Daniel Slaney2005-11-02 16:48
StoryJust What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? Ehud Lamm2005-11-02 01:34
Forum topicParsing and syntax reordering kruhft2005-11-01 18:12
Forum topicJournal "Logical Methods in CS" Charles Stewart2005-10-27 17:13
StoryLtU: Style and Focus Ehud Lamm2005-09-29 22:03
Forum topicRuby: Language of the Programming Ãœbermensch? Nathan Sobo2005-09-27 19:41
Forum topicMost Productive FP Lang? David B. Held2005-09-26 03:14