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


Intrinsically-Typed Specifications for Languages with Parametric Polymorphism

Supervisor(s): Cas van der Rest, Casper Bach Poulsen
Posted: May 11, 2022