Friday, 6 June 2008

Dynamic Rebinding: journal paper finally out

The paper on dynamic rebinding with Peter, Mike, Gareth and Keith has finally appeared in Journal of Functional Programming (here). [You may or may not be able to view it for free from the JFP page - depends where you're reading it from.]

This is a great relief! Contained within are details of Gareth's mega-theorem (which proves equivalence between CBV lambda-calculus and our funky late-binding calculi (lambda-r and lambda-d)). Gareth sweated blood over these!


1 comment:

Search Engine Optimization said...

Nice blog...

i have some Blog template.. use that template for your blog... Enjoy (i am not spammer)

Thank you...