A Walk in the Semantic Park

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearch

  • Olivier Danvy
  • Jacob Johannsen, School of Computing, University of Kent, United Kingdom
  • Ian Zerny, Denmark
  • Department of Computer Science
To celebrate the 20th anniversary of PEPM, we are inviting you to a
walk in the semantic park and to inter-derive reduction-based and
reduction-free negational normalization functions.
Original languageEnglish
Title of host publicationProceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation
EditorsSiau-Cheng Khoo, Jeremy Siek
Number of pages12
PublisherAssociation for Computing Machinery
Publication year2011
Pages1-12
ISBN (print)978-1-4503-0485-6
DOIs
Publication statusPublished - 2011
Event20th ACM SIGPLAN workshop on Partial evaluation and program manipulation - Austin, TX, United States
Duration: 24 Jan 201125 Jan 2011

Conference

Conference20th ACM SIGPLAN workshop on Partial evaluation and program manipulation
LandUnited States
ByAustin, TX
Periode24/01/201125/01/2011

See relations at Aarhus University Citationformats

ID: 34462341