Names For Free - Polymorphic Views of Names and Binders
Paper in proceeding, 2013
type-classes
polymorphism
name binding
parametricity
nested types
Author
Jean-Philippe Bernardy
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
Nicolas Pouillard
IT University of Copenhagen
SIGPLAN Notices (ACM Special Interest Group on Programming Languages)
0362-1340 (ISSN)
Vol. 48 12 13-24978-145032383-3 (ISBN)
Areas of Advance
Information and Communication Technology
Roots
Basic sciences
Subject Categories
Computer Science
DOI
10.1145/2503778.2503780
ISBN
978-145032383-3