Paul Snively

typetitleauthorlast post sort icon
StoryGottfried Wilhelm Leibniz Niels Hoogeveen2006-07-01 15:34
StoryScheme Language Steering Committee Report to the Community Anton van Straaten2006-06-26 23:14
Forum topicRules for Developing Safety-Critical Code Peter J. Wasilko2006-06-25 21:26
Forum topicThe OO barrier snk_kid2006-06-22 14:07
Forum topicHow are GADTs useful in practical programming? Klaus Ostermann2006-06-21 13:31
Forum topicWhy only 'minimal' languages Karsten Wagner2006-06-19 15:33
Forum topicML Modules and Haskell Type Classes: A Constructive Comparison Greg Buchholz2006-06-18 00:51
Forum topicRelevance of Curry-Howard Klaus Ostermann2006-06-12 13:36
Forum topicemulation for Erlang style processes Rys McCusker2006-06-11 03:01
Forum topicMultidimensional Virtual Classes Niels Hoogeveen2006-06-10 06:39
Forum topicBuried Treasure - No Fluff Just Stuff Isaac Gouy2006-06-08 03:44
Forum topicType checking and logical errors Mike Smith2006-06-05 21:16
Forum topicJavascript department Ehud Lamm2006-06-04 18:54
Forum topicyet another noob via "little lisper" and scheme danmcb2006-06-01 09:58
StoryProofs are Programs: 19th Century Logic and 21st Century Computing shapr2006-05-30 17:35
Forum topicLinspire chooses Haskell as preferred language kenhirsch2006-05-27 18:30
StorySoftware ideals and history Chris Rathman2006-05-26 23:56
Forum topicJavaScript 2.0: Evolving a Language for Evolving Systems Isaac Gouy2006-05-23 11:40
StoryPaul Vick: BASIC principles Ehud Lamm2006-05-20 18:34
StoryTransactional Memory with data invariants (draft sequel to the STM-Haskell paper) shapr2006-05-17 12:42
StoryA note on distributed computing Luke Gorrie2006-05-09 10:33
StoryCol--an O'Caml syntax extension for easier manipulation of flat records, objects or tuples and conversions from/to CSV file Paul Snively2006-05-08 04:33
Forum topicNatural Language Programming for Interactive Fiction Avdi2006-05-07 04:23
Forum topicPersistent functional databases Robbert van Dalen2006-04-26 07:13
StoryErlang the Movie Luke Gorrie2006-04-21 18:09