Type-Safe Monotonic Object Evolution (Artifact)

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Alexandra Mirrlees-Black, Haoyu Wu, Gregor Richards, Fabian Muehlboeck
DOI: 10.5281/zenodo.18810359
Cited by: 1

Abstract

These are the sources for the May programming language's compiler and the case study for a small compiler for IMP written in May.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
24 July 2026
Language
EN