Constructive Galois connections: taming the Galois connection framework for mechanized metatheory.

David Darais, David Van Horn

Browse the full ICFP paper archive.