Josef Svenningsson

typetitleauthor sort iconlast post
StoryTowards efficient, typed LR parsers neelk2007-05-07 11:09
StoryData Parallel Haskell: a status report Ehud Lamm2007-04-17 00:22
StoryStatic Typing for a Faulty Lambda Calculus neelk2007-03-09 20:16
StoryTermination Checking with Types neelk2007-02-09 20:53
Story[Redux] A Syntactic Approach to Type Soundness (1992) cdiggins2006-12-08 14:52
StoryGrammar Visualization Ehud Lamm2006-11-27 11:57
Forum topicYour favourite editor/IDE Josef Svenningsson2006-08-27 07:38
Forum topicRules for Developing Safety-Critical Code Peter J. Wasilko2006-06-25 21:26
Forum topicHow are GADTs useful in practical programming? Klaus Ostermann2006-06-21 13:31
StoryProofs are Programs: 19th Century Logic and 21st Century Computing shapr2006-05-30 17:35
StoryTransactional Memory with data invariants (draft sequel to the STM-Haskell paper) shapr2006-05-17 12:42
Forum topicDesigning a Type Notation for a Stack Based Functional Language cdiggins2006-05-12 20:02
StoryComputer Science Looks for a Remake Ehud Lamm2006-05-10 20:48
Forum topicPurity in PLT Jim Apple2006-04-08 10:56
Forum topicUsing continuations in Web applications is patented Josef Svenningsson2006-03-24 00:39
StoryDjinn, a theorem prover in Haskell, for Haskell. shapr2006-01-24 18:58
StoryTim Bray: Don’t Invent XML Languages Ehud Lamm2006-01-15 06:14
Forum topicincremental algorithm help shahbaz2005-10-26 10:02
StoryMultigame A Very High Level Language for Describing Board Games Ehud Lamm2005-10-21 13:17
Forum topicFormal methods used in developing "profitable" software JamesLitsios2005-10-18 07:45
Forum topicProbabilistic languages for kids? Ehud Lamm2005-10-10 00:05
Forum topicThe Complexity Zoo Andris Birkmanis2005-07-28 04:17
StoryGenerics are a mistake? Anton van Straaten2005-07-17 18:25
Forum topicDead Languages Jim Apple2005-07-11 11:14
StoryWhy Dependent Types Matter Ehud Lamm2005-07-05 08:34