Research Publications

Lists of previous publications

Google Scholar • DBLP • ORCID • Researchr • ResearchGate • AMiner • Scopus

Latest publications #

• Checking a Denotational Semantics of Scheme in Agda
  in Scheme ’25: Proceedings of the 26th ACM SIGPLAN International Workshop on Scheme and Functional Programming
  preliminary publication

• A Compositional Semantics for eval in Scheme
  in OLIVIERFEST ’25: Proceedings of the Workshop Dedicated to Olivier Danvy on the Occasion of His 64th Birthday
  preliminary publication

• Lightweight Agda Formalization of Denotational Semantics
  in TYPES 2025: Proceedings of the 31st International Conference on Types for Proofs and Programs

• Towards Verification of a Denotational Semantics of Inheritance
  in JENSFEST 2024: Proceedings of the Workshop Dedicated to Jens Palsberg on the Occasion of His 60th Birthday

• SLE ‘24: Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering
  (editor, with Ralf Lämmel and Juliana Alves Pereira)

Highlights #

• Fundamental Constructs in Programming Languages
  in ISoLA 2021, (preprint)

• Software Meta-language Engineering and CBS
  Journal of Computer Languages (2019)

• Executable Component-Based Semantics
  with L. Thomas van Binsbergen and Neil Sculthorpe
  JLAMP (2019), (preprint)

• Implicit Propagation in Structural Operational Semantics
  with Mark J. New
  Electronic Notes in Theoretical Computer Science (2009)

• Semantics and Algebraic Specification
  Festschrift (2009)
  edited by Jens Palsberg
  with contributions by many international colleagues and former students

  

• SIS – Semantics Implementation System
  Reference Manual (1979), Tested Examples (1979), both copied from the Semantics Library of Cliff B Jones
  Case Study (1978) by Veronique Donzeau-Gouge, Bernard Lang, and Gilles Kahn, IRIA-RR-330