Login / Signup

Automating the Functional Correspondence Between Higher-Order Evaluators and Abstract Machines.

Maciej BuszkaDariusz Biernacki
Published in: LOPSTR (2021)
Keyphrases