Home » user account

Paul Snively

typetitleauthorlast post sort icon
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
StoryCUFP write-up Ehud Lamm2007-12-17 01:27
Forum topicOn the Importance of Purity naasking2007-12-02 14:53
Forum topicA survey and discussion of taming effects naasking2007-11-28 19:24
StoryOCaml Light: A Formal Semantics For a Substantial Subset of the Objective Caml Language Paul Snively2007-11-28 18:52
StorySamurai - Protecting Critical Data in Unsafe Languages Ehud Lamm2007-11-27 16:54
Forum topicUniversal Type System Akhilesh Mritunjai2007-11-24 18:01
Forum topicPetition for adding garbage collection to C++. Achilleas Margaritis2007-11-20 16:24
StoryJoCaml Andris Birkmanis2007-11-19 15:49
StoryECMAScript 4 overview paper doublec2007-11-07 04:52
StoryLeave of absence Ehud Lamm2007-10-09 15:34