Home » user account

Paul Snively

typetitleauthorlast post sort icon
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
StoryTypes Considered Harmful Chris Rathman2008-06-06 17:06
StoryWill Wright Presents Spore... and a New Way to Think About Games Ehud Lamm2008-06-06 16:30
Forum topicCategory theory in design jdgallag2008-05-29 15:49
Forum topicUnderstanding category theory and its practical applications Winheim Raulsh2008-05-26 05:25
StoryLinear Logical Algorithms neelk2008-05-21 13:33
StoryThe irreducible physicality of security properties Charles Stewart2008-05-18 14:42
StoryLogical Algorithms neelk2008-05-15 22:53
Forum topicfuture history of logic programming el-vadimo2008-05-08 11:59
StorynewLisp: A better Lisp/Scheme Fusion... Brent Fulgham2008-05-06 16:24
Forum topicLisp Lovers, how would you fix Lisp or bring it up to date? Ben Atkin2008-04-29 03:20