Recursion principles for syntax with bindings and substitution
Popescu, Andrei, Gunter, Elsa L.Volume:
46
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/2034574.2034819
Date:
September, 2011
File:
PDF, 642 KB
english, 2011