Home » user account

Paul Snively

typetitleauthorlast post sort icon
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
Forum topicLisp webcomic Jeff Cutsinger2007-10-05 04:33
StoryDatabase Abstraction Layers and Programming Languages Ehud Lamm2007-09-13 19:46
Forum topicWhat is a state? Hank Thediek2007-09-07 13:41
StoryR6RS Validated Noel2007-08-31 06:57
Forum topicYearning for a practical scheme Nathan Sobo2007-08-27 03:37
Forum topiccreating my own programming language javiadip2007-08-19 19:10
StoryAnalyzing the Environment Structure ofHigher-Order Languages using Frame Strings neelk2007-08-17 22:37
Forum topicType Theories sciomako2007-08-17 06:56
StorySkipping C - SPE and synthetic programming in Python Kay Schluehr2007-08-15 14:28
StoryRalph Johnson: Erlang, the next Java Ehud Lamm2007-08-12 15:45