Released Date: December 4, 2024
Authors: Philip Wadler1
Aff.: 1University of Edinburgh
Arxiv: http://arxiv.org/pdf/2412.03124v1