Paul Snively

typetitleauthorlast post sort icon
Forum topic"Inconsistency Robustness" now available Hewitt2015-08-17 21:21
StoryRunning Probabilistic Programs Backwards gasche2015-08-05 10:38
StorySelf-Representation in Girard’s System U naasking2015-06-18 22:53
Forum topicgeneral patterns in PL persistence schemes? Rys McCusker2015-02-24 02:23
Forum topicHow can languages help us in terms of achieving correct program design? bryanedds2015-02-02 17:56
StoryMorrow & First-class Labels Frank Atanassow2014-12-28 20:26
Forum topicConcatenative Language Kont Chris2014-10-22 09:15
Forum topicJonathan Blow's next foray into game language design jdougan2014-10-21 20:35
StoryOpen thread: RIP Steve Jobs Ehud Lamm2014-10-05 00:19
StoryseL4: Formal Verification of an Operating-System Kernel James Iry2014-07-29 07:19
StoryDeca, an LtU-friendly bare metal systems programming language Anton van Straaten2014-04-23 16:10
StoryGilad Is Right Erik Meijer2014-03-23 13:38
StoryHistory of Logic Programming: What went wrong, What was done about it, and What it might mean for the future Ehud Lamm2013-07-28 20:42
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