Home » user account

Charles Stewart

typetitleauthorlast post sort icon
StoryDerivatives and dissections of data types Andris Birkmanis2008-04-23 00:45
StoryComputer Science Education: Where Are the Software Engineers of Tomorrow? Ehud Lamm2008-04-21 22:03
Forum topicProving compositions Hank Thediek2008-04-20 14:05
StoryMechanizing the Metatheory of LF Charles Stewart2008-04-17 21:11
Forum topicFan Programming Language naasking2008-04-16 22:07
Forum topicApplications of formal semantics roberto2008-04-14 02:59
StoryMechanizing Language Definitions Ehud Lamm2008-04-11 13:18
Forum topicContext free grammar for shapes in a 2d grid? markt2008-04-11 11:35
StoryScheme macro systems Manuel J. Simoni2008-04-07 19:52
Forum topicRewriting rules for deducing properties of functions cdiggins2008-04-07 13:25
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