Paul Snively

typetitleauthorlast post sort icon
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
StoryHaskell for C Programmers Mark Evans2011-09-12 18:37
Forum topicDelimited Continuations Blues? Manuel J. Simoni2011-08-22 15:00
StoryLightweight Monadic Programming in ML Paul Snively2011-08-10 20:39
Forum topicIs it possible to write code that works the very first time? M Riccobene2011-08-10 11:43
StoryDelimited dynamic binding Chung-chieh Shan2011-08-03 11:51
Forum topicImplementor's guide/tutorial to delimited continuations? Manuel J. Simoni2011-08-02 18:56
StoryLevy: a Toy Call-by-Push-Value Language Ohad Kammar2011-07-28 18:12