• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

Maciej BuszkaDariusz Biernacki
Published in: LOPSTR (2021)
Keyphrases