Home » user account

Paul Snively

typetitleauthorlast post sort icon
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
Forum topicWhat Makes Erlang Processes Tick? mjstahl2007-01-29 19:09
StoryRalf Lammel: Stop dysfunctional programming Ehud Lamm2007-01-29 11:16
StoryScheme: Second R6RS draft published Anton van Straaten2007-01-27 14:45
StoryA Visual Environment for Developing Context-Sensitive Term Rewriting Systems Ehud Lamm2007-01-23 19:15
StoryOtt--a tool for writing definitions of programming languages and calculi. Paul Snively2007-01-23 07:06
Forum topicInterlanguage Migration: From Scripts to Programs dbfaken2007-01-18 18:51
Forum topicOO Language Engineering for the Post-Java Era Isaac Gouy2007-01-18 17:55
Forum topicAre Frames and Slots anything more that OO with a different name? JamesLitsios2007-01-10 03:59
Forum topicVirtual Machines, Language Runtimes, and the Future of Objective C akopa2007-01-01 19:47
Forum topicCommercial Users of Functional Programming 2006 Isaac Gouy2006-12-29 14:46