Some definitions and proofs regarding Romeo

Permanent URL: http://hdl.handle.net/2047/d20005013
Title:
Some definitions and proofs regarding Romeo
Creator:
Stansifer, Paul (Author)
Wand, Mitchell (Author)
Publisher:
June 01, 2014
Type of resource:
Text
Genre:
Articles
Format:
electronic
Digital origin:
born digital
Comments:
Accompanying document for "Romeo: a System for More Flexible Binding-Safe Programming," presented at ICFP '14, the 19th ACM SIGPLAN International Conference on Functional Programming (Gothenburg, Sweden, September 1-6, 2014). DOI:10.1145/2628136.2628162
Subjects and keywords:
binding systems
alpha-equivalence
Programming Languages and Compilers
Permanent URL:
http://hdl.handle.net/2047/d20005013

Downloads