Home » user account

Charles Stewart

typetitleauthorlast post sort icon
StoryLogic for Philosophy Ehud Lamm2008-01-28 09:20
Forum topicAxioms and Theorems for a Theory of Arrays Greg Buchholz2008-01-28 08:59
StoryHow to write your next POPL paper in Coq Ehud Lamm2008-01-13 18:01
StoryCall-by-value Termination in the Untyped Lambda-calculus Daniel Yokomizo2008-01-08 23:22
Forum topicExamples of large-scale functional language projects Luke Flemmer2008-01-06 18:44
Forum topicfunctions, statements, expressions Jason Dusek2007-12-25 10:52
StoryCUFP write-up Ehud Lamm2007-12-17 01:27
StoryS has a left inverse Charles Stewart2007-12-12 16:25
Forum topicUniversal Type System Akhilesh Mritunjai2007-11-24 18:01
StoryCSLI lecture notes made freely available Charles Stewart2007-11-13 07:33
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