Home » user account

Paul Snively

typetitleauthorlast post sort icon
Forum topicFunctional Object-Oriented Programming Jason Dusek2007-05-06 19:32
StoryTwitter and Rails brouhaha Ehud Lamm2007-05-04 04:34
Forum topicAlmost invisible upgrade Anton van Straaten2007-05-02 05:44
Forum topicThoughts about the Best Introductory Language shlomif2007-05-01 05:23
Forum topicWhy is there not a PL with a mathematical type system? gueven2007-04-25 14:14
StoryModular Verification of Assembly Code with Stack-Based Control Abstractions cdiggins2007-04-22 13:44
Forum topicExpect New Major Language Within Five Years Anton van Straaten2007-04-17 01:00
Forum topicDeliverable code? Hank Thediek2007-04-16 11:52
Forum topicEarly Programming Languages (A Logic Puzzle) Jim Apple2007-04-09 17:03
Forum topicDynamic Semantics Hank Thediek2007-04-07 22:57
Forum topicPutting functional database theory into practice: NixOS Gavin Mendel-Gleason2007-04-05 10:51
StoryVerifying Semantic Type Soundness of a Simple Compiler Paul Snively2007-04-05 01:39
StoryCroquet Project Releases Initial Developer Release Dominic Fox2007-03-29 20:02
StoryA Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language Paul Snively2007-03-28 14:31
StoryKourier is now live Luke Gorrie2007-03-26 22:36
StoryA Real-World Use of Lift, a Scala Web Application Framework Paul Snively2007-03-26 21:19
Forum topicIntel Research PL Seminar Series Bret Victor2007-03-24 22:53
StoryThe New Twelf Wiki neelk2007-03-23 00:49
Forum topicImplementation Inheritance SamK2007-03-20 20:31
StoryConcoqtion: Indexed Types Now! Paul Snively2007-03-13 15:11
StoryXMLisp: Ingenous, or Monstrous? Brent Fulgham2007-03-12 23:14
Forum topicWhy do they program in C++? David Waern2007-02-19 12:09
StorySpecifying ECMAScript via ML Dave Herman2007-02-13 18:03
StoryTermination Checking with Types neelk2007-02-09 20:53
StorySeparation Logic: A Logic for Shared Mutable Data Structures neelk2007-02-04 05:34