Intrinsically-Typed Specifications for Languages with Parametric Polymorphism
Master Project
Project Description
This project will be about defining intrinsically-typed specifications for languages with parametric polymorphism.
(More information will appear here soon)
Relevant literature:
- 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
- Cas van der Rest (TU Delft)
- Casper Bach Poulsen (TU Delft)
Intrinsically-Typed Specifications for Languages with Parametric Polymorphism
Supervisor(s): Cas van der Rest, Casper Bach Poulsen
Posted: May 11, 2022