Home » user account

Paul Snively

typetitleauthorlast post sort icon
StoryAMS: A Special Issue on Formal Proof Chris Rathman2009-04-02 07:49
StoryACM Queue: A Conversation with Alan Kay Ehud Lamm2009-03-24 18:50
StorySite problems Ehud Lamm2009-03-23 05:05
StoryEnsuring Correct-by-Construction Resource Usage by using Full-Spectrum Dependent Types Paul Snively2009-03-05 17:51
StoryDana Paul Snively2009-02-28 13:41
StoryDon Box: Teaching my kids to program Ehud Lamm2009-02-27 00:12
Forum topicExplaining monads Ehud Lamm2009-01-30 11:43
Forum topicThe Origins of the BitC Programming Language Isaac Gouy2009-01-30 00:38
Forum topicSpecifying semantics and type rules shap2009-01-23 13:25
Forum topicAny problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) scottmcl2009-01-11 22:50
Forum topicSpecifying Solver Behavior? shap2009-01-11 20:34
StoryStatistical programming with R Chris Rathman2009-01-07 17:16
Forum topicAutomatically Generating the Back End of a Compiler Using Declarative Machine Descriptions shahbaz2009-01-06 17:39
StoryType inference for correspondence types Paul Snively2008-12-09 18:46
StoryType-Checking Zero Knowledge Paul Snively2008-12-05 14:52
Forum topicDr. Kenneth Iverson Passes Away shrogers2008-11-07 14:05
Forum topicObject Oriented Programming + Referential Transparency mjstahl2008-10-30 17:40
Forum topicOn the (perceived) equivalence of static and dynamically typed reflective programming languages Ran2008-10-28 23:49
Forum topicSummary of Dependently Typed Systems? jim burton2008-10-27 12:42
Forum topicCourse on Interactive Computer Theorem Proving Based on Coq Paul Snively2008-10-23 11:10
StoryOCaml 3.11.0-beta1 Available Paul Snively2008-10-20 08:27
Forum topicCommon Lisp Exception Handling SamK2008-10-20 00:55
Forum topicA name for this form of variable capture? cjh2008-08-12 15:03
Forum topicIs null needed? BigZaphod2008-08-09 00:52
Forum topicPractical Bits of Making a Compiler for a New Language Eli Sennesh2008-08-05 22:36