Abstract
This thesis studies how we can facilitate combined Haskell/Agda developments. As
foundation for our research we have created the Agda UHC backend, targeting the intermediate Core language of the Utrecht Haskell Compiler. We will present a formal
description of our translation scheme, which now powers all major Agda backends.
Building upon our new
... read more