Programs Using Syntax with First-Class Binders

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-662-54434-1_19 ◽

2017 ◽

pp. 504-529 ◽

Author(s):

Francisco Ferreira ◽

Brigitte Pientka

Download Full-text