Home » user account

Paul Snively

typetitleauthorlast post sort icon
StoryArc is released Ehud Lamm2008-03-21 12:07
Forum topicConfused Deputies in Programming Languages naasking2008-03-18 02:47
StoryPure, Declarative, and Constructive Arithmetic Relations Ehud Lamm2008-03-17 19:38
StoryOberon Script. A Lightweight Compiler and Runtime System for the Web Ehud Lamm2008-03-15 02:35
Forum topicNon-null references? Mike Hearn2008-03-14 21:05
Forum topicA modular toolchain for parsing and compiling code? Thomas Danecker2008-02-26 10:38
Forum topicProcess Algebras: Whats the point? markt2008-02-25 06:41
Forum topicUniform naming George Morrison2008-02-20 22:21
Forum topicLatest usability for polymorphism? raould2008-02-12 15:34
Forum topicLanugages with built-in rules/tests? raould2008-02-11 17:01
Forum topicSignals in an OOPL cdiggins2008-02-08 16:07
StoryThe Design and Implementation of Typed Scheme Ehud Lamm2008-02-08 03:56
Forum topicHow useful is reflection, anyway? Scott Johnson2008-01-31 18:41
Forum topicVM's... What's the best? diegoeche2008-01-30 11:52
StoryOpen Multi-Methods for C++ Ehud Lamm2008-01-24 17:49
Forum topicType-safe printf using delimited continuations, in Coq Matthieu Sozeau2008-01-24 14:36
StoryWhat do you mean by studying "programming languages"? Ehud Lamm2008-01-22 18:34
Forum topicThe Logic of Proofs Derek Elkins2008-01-22 06:47
Forum topicbeyond programming languages el-vadimo2008-01-18 22:58
StoryHashCaml--an extension of the OCaml bytecode compiler with support for type-safe marshalling and related naming features. Paul Snively2008-01-17 00:24
StoryHow to write your next POPL paper in Coq Ehud Lamm2008-01-13 18:01
StoryTheorem proving support in programming language semantics Paul Snively2008-01-13 07:36
StoryEngineering Formal Metatheory Allan McInnes2008-01-12 23:43
StoryWhy Did Symbolics Fail? Ehud Lamm2008-01-05 00:13
Forum topicA Growable Language Manifesto RobJellinghaus2007-12-24 20:01