Home » user account

Charles Stewart

typetitleauthorlast post sort icon
StoryCERT C Secure Coding Standard Ehud Lamm2008-03-31 17:49
Forum topicAlgebraist Network billpage2008-03-31 12:21
StoryEriskay: a Programming Language Based on Game Semantics neelk2008-03-26 16:54
StoryArc is released Ehud Lamm2008-03-21 12:07
StoryPure, Declarative, and Constructive Arithmetic Relations Ehud Lamm2008-03-17 19:38
Forum topicBarendregt's Convention nick cameron2008-02-01 14:37
Forum topicHow useful is reflection, anyway? Scott Johnson2008-01-31 18:41
Forum topicVM's... What's the best? diegoeche2008-01-30 11:52
Forum topicReally un-mutable Scheme raould2008-01-29 22:20
StoryA Model for Formal Parametric Polymorphism: A PER Interpretation for System R neelk2008-01-28 20:50
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