System F in Agda, for Fun and Profit

James Chapman, Roman Kireev, Chad Nester, Philip Wadler

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Fingerprint

Dive into the research topics of 'System F in Agda, for Fun and Profit'. Together they form a unique fingerprint.

Computer Science