HIGHLIGHTS
- who: JFP and colleagues from the c The Author(s), Published by Cambridge University PressThis is an Open , University of British Columbia, Vancouver, British Columbia, Canada have published the research: ANF preserves dependent types up to extensional equality, in the Journal: (JOURNAL)
- what: The authors develop an A-normal form (ANF) translation with join-point optimization-a standard translation for making control flow explicit in functional languages-from the Extended Calculus of Constructions (ECC) with dependent elimination of booleans and natural numbers (a representative subset of Coq). The authors discuss how to mitigate this downside . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.