Paul Snively

type sort icontitleauthorlast post
Forum topicCost of provably-correct code Ehud Lamm2013-07-06 19:56
Storythe gnu extension language Manuel J. Simoni2013-06-28 14:23
Forum topicLALR grammar of C++ chinu2013-06-17 18:49
StoryFoundations of Inference Paul Snively2013-05-21 03:54
StoryRule 110 in HTML5 + CSS3 Z-Bo2013-04-09 08:23
StoryHow OCaml type checker works -- or what polymorphism and garbage collection have in common Paul Snively2013-03-10 16:42
StoryOleg: An argument against call/cc bashyal2012-09-13 17:06
Forum topicWhy prolog is by far the best, most productive, easiest programming language marshallp2012-08-23 03:24
StoryThe YNot Project Paul Snively2012-08-17 23:32
Forum topic10 Years of Purely Functional Data Structures Chris Okasaki2012-08-04 01:52
StoryMechanized λ<sub>JS</sub> Paul Snively2012-07-25 13:37
StoryHow to Make Ad Hoc Proof Automation Less Ad Hoc Paul Snively2012-07-24 00:43
Forum topicErik Meijer started a discussion on Domain Specific Languages w7cook2012-07-13 00:52
StoryValidating LR(1) parsers Paul Snively2012-07-01 11:54
Forum topicBob Harper of CMU is blogging about programming languages and introductory CS education vrijz2012-06-30 00:11
Forum topicFunctional Relational Programming: Out of the tar pit abayley2012-06-24 17:25
Forum topicOpen data types and open functions Jeremy2012-06-22 02:53
StoryTool Demo: Scala-Virtualized Paul Snively2012-05-26 22:28
Forum topicHigher order versus Object order Francis McCabe2012-05-17 17:45
Forum topicCertified Programming with Dependent Types: home stretch! Adam Chlipala2012-04-22 22:31
Forum topicSymmetry in type systems Jules Jacobs2012-04-17 22:15
Forum topicThe Monad.Reader Wouter Swierstra2012-04-11 12:54
StorySocial Processes and Proofs of Theorems and Programs Luke Gorrie2012-03-19 13:02
StoryMilawa on Jitawa: a Verified Theorem Prover Paul Snively2012-02-29 22:34
StoryMilawa: A Self-Verifying Theorem Prover for an ACL2-Like Logic Paul Snively2012-02-29 19:59