Josef Svenningsson

typetitleauthor sort iconlast post
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
StoryHow To Read a Paper Ehud Lamm2005-06-27 11:09
Forum topicGarbage collecting computations Andris Birkmanis2005-06-22 07:27
StoryAccurate step counting Ehud Lamm2005-06-19 10:24
Forum topicShort examples of complex use of state? neelk2005-06-01 19:44
Forum topicData flow analysis on functional Language kilrati2005-05-27 10:20
StoryParameterized Unit Tests Ehud Lamm2005-05-27 01:31
Forum topictail recursion rmalafaia2005-05-21 01:33
StoryComputer generates verifiable mathematics proof Ehud Lamm2005-04-27 10:44
StoryGrady Booch: AOSD keynote Ehud Lamm2005-03-25 16:04
Forum topicEmbedding one language in another sudarshan2005-03-24 19:10