Home » user account

Paul Snively

typetitleauthorlast post sort icon
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
StoryGilad Bracha: Will Continuations continue? Ehud Lamm2008-08-01 02:47
StoryPractical Set Theory Charles Stewart2008-07-25 09:16
StoryChurch’s Thesis and Functional Programming Chris Rathman2008-07-22 00:14
Forum topicUpdate to "Parametric Higher-Order Abstract Syntax for Mechanized Semantics" Paul Snively2008-07-08 20:53
Forum topicWriting a new language - ideas? windozer2008-06-24 16:47
StoryParametric Higher-Order Abstract Syntax for Mechanized Semantics Paul Snively2008-06-22 20:50
StoryPure imperative programming Charles Stewart2008-06-22 19:29
StoryApplied Proof Theory: Proof Interpretations and their Use in Mathematics Ehud Lamm2008-06-19 18:43
Forum topicFirst class class objects, class vs. value namespaces, etc. scottmcl2008-06-12 20:11
Forum topicwhat a type system always proves vs. what it can be made to prove bdenckla2008-06-10 17:56