Programming Language Foundations in Agda

Kerewin Kokke, Jeremy G. Siek, Philip Wadler

Research output: Contribution to journalArticlepeer-review

Fingerprint Dive into the research topics of 'Programming Language Foundations in Agda'. Together they form a unique fingerprint.

Engineering & Materials Science