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

Browse archivesActive forum topics 
Recent comments
4 days 19 hours ago
6 days 10 hours ago
2 weeks 4 days ago
6 weeks 13 hours ago
15 weeks 2 days ago
15 weeks 4 days ago
17 weeks 20 hours ago
17 weeks 20 hours ago
17 weeks 1 day ago
18 weeks 5 days ago