Skip to main navigation Skip to search Skip to main content

Computer Science Technical Report - CSR-06-10: Proceedings of the APPSEM-II Workshop on the Krivine and ZINC Abstract Machines (KAZAM)

  • O Danvy
  • , Hayo Thielecke

Research output: Working paper/PreprintWorking paper

Original languageEnglish
Publication statusPublished - 1 Jan 2006

Cite this