Browse by Keywords - A

Select the first letter of the keywords to browse

There are 1 record/s using the keyword/s: agda.

View 25 / 50 / ALL records per page.

Title	Date	Creator	Publication Type	Institution
Towards Formalizing Parametricity For Nested Types In Agda	2021	Jeffries, Daniel	Student	Computer Science - Student, ASU