Home » user account

Charles Stewart

typetitleauthorlast post sort icon
Forum topicComputing is a Natural Science Hank Thediek2007-10-15 20:49
Forum topicWhich Journals/Conferences to keep track of? sciomako2007-09-25 03:08
Forum topicExamples of Categorical Semantics for Languages with Dependent Types echinuz2007-09-08 02:04
Forum topicWhat is a state? Hank Thediek2007-09-07 13:41
StoryR6RS Validated Noel2007-08-31 06:57
StoryBarker & Szabolcsi: New directions for proof theory in linguistics Ehud Lamm2007-08-29 19:39
Forum topicLectures on the Curry-Howard Isomorphism Ehud Lamm2007-08-28 17:18
Forum topicDeclarative Assembler Michael Stone2007-08-23 19:19
Forum topicSyntactic abstraction? (newbie question) tbull2007-08-07 19:00
StoryTheorem proving support in programming language semantics Charles Stewart2007-08-03 22:27
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