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

Browse archivesActive forum topics 
Recent comments
5 min 48 sec ago
1 hour 33 min ago
2 hours 50 min ago
2 hours 58 min ago
3 hours 39 min ago
5 hours 10 min ago
5 hours 49 min ago
5 hours 58 min ago
11 hours 26 min ago
3 days 2 hours ago