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

Browse archives
Active forum topics 
Recent comments
5 weeks 5 days ago
5 weeks 5 days ago
5 weeks 5 days ago
27 weeks 6 days ago
32 weeks 1 day ago
33 weeks 5 days ago
33 weeks 5 days ago
36 weeks 3 days ago
41 weeks 1 day ago
41 weeks 1 day ago