Paul Snively

typetitleauthor sort iconlast post
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
Forum topicTeaching challenge: culturally enriching formulae-as-types Charles Stewart2012-02-18 22:10
StoryVellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations Paul Snively2012-02-09 18:04
StoryDiagram showing all programming paradigms and their relationships Peter Van Roy2012-01-13 17:06
Forum topicGo's proposed panic/recover exception-like mechanism pgregory2012-01-07 01:57
StoryA Language-Based Approach to Unifying Events and Threads shapr2011-11-21 12:53
Forum topic"We Really Don't Know How to Compute!" by Gerald Sussman puredanger2011-11-19 23:37
StoryThe Experimental Effectiveness of Mathematical Proof Paul Snively2011-11-12 12:16
Forum topicRedesigning the Mozart virtual machine Peter Van Roy2011-10-04 22:20
StoryThe SAFE Platform Charles Stewart2011-09-20 05:23
Forum topicAn Accidental Simula User, Luca Cardelli Isaac Gouy2011-09-15 12:44