Academia.edu no longer supports Internet Explorer.
To browse Academia.edu and the wider internet faster and more securely, please take a few seconds to upgrade your browser.
Papers
ACM Transactions on Programming Languages and Systems, 2009
Bookmarks Related papers MentionsView impact
ACM Transactions on Programming Languages and Systems, 2009
Bookmarks Related papers MentionsView impact
Uploads