Meta-theory à la carte
From MaRDI portal
Publication:2931797
DOI10.1145/2429069.2429094zbMath1301.68218MaRDI QIDQ2931797
Benjamin Delaware, Tom Schrijvers, Bruno C. d. S. Oliveira
Publication date: 27 November 2014
Published in: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2429069.2429094
68N15: Theory of programming languages
Related Items
Unnamed Item, Unnamed Item, Ornaments for Proof Reuse in Coq, Modular Dependent Induction in Coq, Mendler-Style
Uses Software