A located lambda calculus
May 4, 2008 – 11:25 pmThe authors plan to extend the calculus by adding features such as exceptions and generalizing by allowing each annotation to consist of a set of permissible locations, and to implement the richer calculus with location brackets in the …
Share and Enjoy:
These icons link to social bookmarking sites where readers can share and discover new web pages.
You must be logged in to post a comment.