Josef Svenningsson

typetitleauthorlast post sort icon
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
Forum topicPhil Wadler's blog Josef Svenningsson2005-03-07 00:53
Forum topicLangauges and Hardware... Matt Estes2005-02-15 17:11
Forum topicGCC Wiki Chris2005-02-05 22:17
Forum topicAdvanced Topics in Types and Programming Languages Josef Svenningsson2005-01-25 02:44
Forum topicDownwardly Scalable Languages David N. Welton2004-12-02 18:29
Forum topicLanguage comparison experiment Tim Docker2004-11-16 17:38
Forum topicGiving Bugs the Boot David B. Wildgoose2004-11-15 17:31
StoryPlaying the Minesweeper with Constraints (MOZ 2004) Ehud Lamm2004-10-22 08:18