Charles Stewart

typetitleauthorlast post sort icon
StoryA Natural Axiomatization of Church's Thesis Ehud Lamm2007-07-20 13:12
StoryLambda Animator Ehud Lamm2007-07-14 13:29
Forum topicForth in hardware ("not dead yet") raould2007-07-10 18:20
Forum topicCarnap Programming Language dorait2007-06-26 17:15
StoryApplication-specific foreign-interface generation neelk2007-06-22 08:59
Forum topicSteps Toward The Reinvention of Programming Isaac Gouy2007-06-21 17:10
StoryFestschrift for John C Reynolds's 70th Birthday Ehud Lamm2007-06-15 11:11
StoryThe PLT Scheme weblog neelk2007-06-15 10:56
Forum topicTyped callcc in a stack-based language cdiggins2007-06-06 06:47
StorySynthetic Computability Charles Stewart2007-05-24 14:51
StoryLisp is sin Ehud Lamm2007-05-19 19:51
Story"The language of the future is javascript" Charles Stewart2007-05-14 21:05
Forum topicCan referential transparency be bad? (puzzle included) Andris Birkmanis2007-05-12 00:53
Forum topicWhy is there not a PL with a mathematical type system? gueven2007-04-25 14:14
StoryLight Logics and Optimal Reduction Charles Stewart2007-04-24 12:31
Forum topicDao, a new programming language Limin Fu2007-04-10 10:21
StorySeparation Logic courses (Reynolds) Ehud Lamm2007-03-15 15:45
StoryState of the Union: Type Inference via Craig Interpolation Jim Apple2007-02-10 00:41
StoryBeauty in the Beast Andris Birkmanis2007-01-16 11:09
StoryWhy numbering should start at 0 Luke Gorrie2007-01-10 17:16
Forum topicQuotation and evaluation -- or, how pure is the pure lambda calculus? Lucius Gregory Meredith2007-01-04 11:24
StoryA Very Modal Model of a Modern, Major, General Type System Ehud Lamm2006-11-08 20:17
StoryScheme Language Steering Committee Report to the Community Anton van Straaten2006-06-26 23:14
StoryTransactional Memory with data invariants (draft sequel to the STM-Haskell paper) shapr2006-05-17 12:42
Forum topicFlexible Addition of Static Typing to Dynamically Typed Programs mfeathers2006-04-24 14:38