Home » user account

Charles Stewart

typetitleauthorlast post sort icon
StoryMarrying VMs Charles Stewart2009-04-01 02:33
StoryOpen access at MIT and Harvard Charles Stewart2009-03-29 04:48
StoryCombining computational effects Andris Birkmanis2009-03-13 14:27
StorySTEPS Toward The Reinvention of Programming: First Year Progress Report Luke Gorrie2009-03-13 10:13
StoryProcess calculi for transactions Charles Stewart2009-03-06 09:15
StoryDon Box: Teaching my kids to program Ehud Lamm2009-02-27 00:12
Forum topicDeclarative layout and/or UI languages? naasking2009-02-18 10:05
StoryParameterized Notions of Computation neelk2009-02-17 19:38
Forum topicWhat is the dual of { } ? Kay Schluehr2009-02-12 08:58
Forum topicRuling out nonsensical data type definitions Douglas McClean2009-02-03 22:54
Forum topicThe Origins of the BitC Programming Language Isaac Gouy2009-01-30 00:38
Forum topicNon-standard type theories for FP marco2009-01-25 03:59
Forum topicMacro systems cdiggins2009-01-22 17:50
Story On the Strength of Proof-Irrelevant Type Theories James Iry2009-01-16 12:10
Forum topicNew Programming Language Idea Lee Chou2009-01-14 09:06
Forum topicAny problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) scottmcl2009-01-11 22:50
Forum topicPracticality of Exclusively Compiler-Driven Unboxing shap2008-12-16 13:48
Forum topicIrresistible programs Ehud Lamm2008-12-03 21:21
Forum topicRemembering everything - a new(?) idea for a new PL pureza2008-12-02 17:19
StoryFω^C: a symmetrically classical variant of System Fω Charles Stewart2008-12-01 14:20
Forum topicrefereed journal with open access? Gergely Buday2008-12-01 14:04
StorySEP entry on Combinatory Logic Ehud Lamm2008-11-19 19:27
Forum topicβ, η, ξ ⊢ α? Lauri Alanko2008-11-09 14:02
StoryCollege Publications Charles Stewart2008-11-08 00:32
Forum topicDr. Kenneth Iverson Passes Away shrogers2008-11-07 14:05