[ACM Press the 8th ACM SIGPLAN International Conference - Cascais, Portugal (2019.01.14-2019.01.15)] Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2019 - Eliminating reflection from type theory
Winterhalter, Théo, Sozeau, Matthieu, Tabareau, NicolasYear:
2019
Language:
english
DOI:
10.1145/3293880.3294095
File:
PDF, 962 KB
english, 2019