Peter A Jonsson

type sort icontitleauthorlast post
Forum topicA Complete, Co-Inductive Syntactic Theory of Sequential Control and State. Peter A Jonsson2007-02-07 10:09
StoryThe Future of LtU Ehud Lamm2006-12-26 02:37
Forum topicHow to write a Programming Language Paper? cdiggins2006-12-05 09:21
Forum topicOverloading : Why do some languages leave it out? cdiggins2006-08-08 21:28
Forum topicFormal verification of a C-Compiler frontend. Peter A Jonsson2006-06-13 21:03
Forum topicA Hacker's Introduction to Partial Evaluation Ehud Lamm2006-05-09 04:40
Forum topicPatterns of Integer Usage Frank Krueger2006-05-06 09:25
Forum topicU, a small model cyarvin2006-02-01 20:37
StoryScala 2 Matt Hellige2006-01-31 05:57
Forum topicType Nomenclature David B. Held2005-11-09 11:06
Forum topicMost Productive FP Lang? David B. Held2005-09-26 03:14
Forum topicHaskell and creative freedom Nathan Sobo2005-09-16 00:08
Forum topicIvory Towers and Gelfand's Principle Leon P Smith2005-09-03 14:13
Forum topicObjective scientific proof of OOP's validity? Don't need no stinkun' proof. Riaan Moll2005-08-21 18:49
StoryGenerics are a mistake? Anton van Straaten2005-07-17 18:25
Forum topicDead Languages Jim Apple2005-07-11 11:14