1 paper · 1 filter
Owen Lynch, Sam Staton
In this paper we introduce Hippogriff, a language with a module system that unifies syntax between the core level and the module level. Hippogriff's type theory is dependent, with…