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  6976 reads

Browse archivesActive forum topics
New forum topics

Recent comments
1 day 20 hours ago
3 days 15 hours ago
2 weeks 16 hours ago
2 weeks 6 days ago
3 weeks 6 days ago
5 weeks 4 days ago
6 weeks 20 hours ago
7 weeks 1 day ago
7 weeks 4 days ago
7 weeks 5 days ago