Eta-Expansion does the Trick (1996)

by Olivier Danvy , Karoline Malmkjaer , Jens Palsberg
Venue:ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
Citations:21 - 6 self