Intrinsically-Typed Specifications for Languages with Parametric Polymorphism
This project will be about defining intrinsically-typed specifications for languages with parametric polymorphism.
(More information will appear here soon)
- Chapman, J., Kireev, R., Nester, C., & Wadler, P. (2019, October). System F in Agda, for fun and profit. In International Conference on Mathematics of Program Construction (pp. 255-297). Springer, Cham.
Contacts for the project
Supervisor(s): Cas van der Rest, Casper Bach Poulsen
Posted: May 11, 2022