Home » user account

Charles Stewart

typetitleauthorlast post sort icon
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
Forum topicOz/K: A kernel language for component-based open programming Isaac Gouy2008-11-07 09:17
Forum topicOn the (perceived) equivalence of static and dynamically typed reflective programming languages Ran2008-10-28 23:49
Forum topicMultiple Dispatch in Practice Isaac Gouy2008-10-25 15:28
Forum topicF in System F christopher2008-10-21 03:45
Forum topicIn which sense Joy is functional? Pablo Barenbaum2008-10-20 08:00
Forum topicHelp with Mixfix in Bison? shap2008-10-09 16:00
Forum topicVisual Programming Language Syntax Formalisms Jason Livesay2008-10-07 16:50
Forum topicReia: Python/Ruby style language on top of Erlang David N. Welton2008-10-06 11:51
StorySimon Peyton Jones Interview Chris Rathman2008-10-01 19:42
Forum topicHelp with N-Ary functions? shap2008-09-30 11:13