Home » user account

Charles Stewart

typetitleauthorlast post sort icon
StoryThe irreducible physicality of security properties Charles Stewart2008-05-18 14:42
StoryArrows generalise monads and idioms Charles Stewart2008-05-18 12:34
StoryTheory and Practice of Constraint Handling Rules neelk2008-05-13 10:36
StoryArrows, like Monads, are Monoids Jim Apple2008-05-07 14:13
StoryFPH: First-class Polymorphism for Haskell naasking2008-05-07 12:36
StorynewLisp: A better Lisp/Scheme Fusion... Brent Fulgham2008-05-06 16:24
Forum topicIs Halting Problem Valid for P? ajgargand2008-05-04 23:24
StoryAutomatic Patch-Based Exploit Generation Charles Stewart2008-04-30 06:49
Forum topic2nd Revision of "Thoughts about the Best Introductory Language" shlomif2008-04-27 01:41
Forum topicOn Presenting Operational Semantics cdiggins2008-04-25 21:57
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