User loginNavigation 
Theoretical Foundations for Practical Totally Functional Programming, by Colin KempMy doctoral dissertation is now publicly accessible at I believe it may be of interest to many here. For those with an interest in the lambdacalculus there's lots of lambdagoodness, too much to summarise here, but includes: There's also some rather deep foundational discussions By Colin Kemp at 20090818 10:21  LtU Forum  previous forum topic  next forum topic  other blogs  7817 reads

Browse archivesActive forum topics 
Recent comments
7 weeks 1 day ago
7 weeks 3 days ago
7 weeks 4 days ago
14 weeks 4 days ago
20 weeks 2 days ago
20 weeks 3 days ago
21 weeks 2 days ago
24 weeks 18 hours ago
25 weeks 3 days ago
25 weeks 4 days ago