Charles Stewart

typetitleauthorlast post sort icon
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
StoryContributing Editors? Ehud Lamm2006-04-17 14:10
StoryUniform Proofs as a Foundation for Logic Programming Charles Stewart2006-04-03 12:18
Forum topicClass hierarchies and Ontologies Neil Madden2006-04-03 11:12
StoryACL2 in DrScheme Dave Herman2006-04-01 01:57
StoryTowards Applicative Relational Programming Charles Stewart2006-03-30 15:46
Forum topicVisualisable Languages mansu2006-03-17 16:20
StoryIan Bicking: The challenge of metaprogramming Ehud Lamm2006-03-06 17:42
Forum topicType theory question... Matt Hellige2006-02-23 22:07
Forum topicAccidental Syntax Doug Orleans2006-02-20 16:10
Forum topicWhat is a Proposition? andrew cooke2006-02-03 17:04
StoryRho calculus Charles Stewart2006-02-03 17:02
Forum topicWhat is a monad, why should I use it, and when is it appropriate? Jonathan Allen2006-02-03 10:54
StoryGuy Steele on Language Design Matthew Morgan2006-01-18 23:04
StoryProgramming a compiler with a proof assistant Charles Stewart2006-01-17 22:45
StoryFrege's Contribution to Philosophy of Language Ehud Lamm2005-12-15 18:01
StoryOOPSLA 2005 Reports Ehud Lamm2005-11-08 17:50