Now showing items 1-1 of 1
Elaborator reflection : extending Idris in Idris
(ACM, 2016-09-04) - Conference item,
Many programming languages and proof assistants are defined by elaboration from a high-level language with a great deal of implicit information to a highly explicit core language. In many advanced languages, these elaboration ...