Josef Svenningsson

typetitleauthor sort iconlast post
StoryA Tail-Recursive Machine with Stack Inspection Dave Herman2013-10-01 15:34
StoryIs Transactional Programming Actually Easier? Z-Bo2010-09-10 18:31
Forum topicTypes/Ordering of canonical FP compiler transforms and optimizations? scottmcl2010-06-02 01:39
StoryA Computer-Generated Proof that P=NP Leon P Smith2009-04-20 19:18
StoryPrediction for 2008 Ehud Lamm2008-12-29 15:56
Forum topicChoice of OS of LtU readers marco2008-10-21 11:00
StoryLightweight Fusion by Fixed Point Promotion neelk2008-06-16 22:26
StoryThe irreducible physicality of security properties Charles Stewart2008-05-18 14:42
Forum topicExamples of large-scale functional language projects Luke Flemmer2008-01-06 18:44
StoryCompiling with Continuations, Continued neelk2007-08-22 22:03
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