A framework for typed HOAS and semantics.

Marino Miculan, Ivan Scagnetto

Browse the full PPDP paper archive.