Home » user account

Paul Snively

typetitleauthorlast post sort icon
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
StoryThe Future of LtU Ehud Lamm2006-12-26 02:37
Forum topicTransparent Persistence playergiro2006-12-20 17:31
Forum topicAlloy - The Book Isaac Gouy2006-12-19 13:50
StoryJava Open Review Project Ehud Lamm2006-12-16 11:29
Forum topicunchecked exceptions are like runtime type checking? lumpynose2006-12-13 09:40
Forum topicexcitement in language research? adamarthurryan2006-12-13 08:50
Forum topicExtremely static language? viergroupie2006-12-09 01:28
Forum topicWhy type systems are interesting - part II Ehud Lamm2006-12-08 01:38
Forum topic"Folding"/FP traversal over trees dbfaken2006-12-07 14:53
Forum topicC++ has indeed become too "expert friendly" Isaac Gouy2006-12-07 14:01