Login / Signup

A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs.

Yuting WangGopalan Nadathur
Published in: ESOP (2016)
Keyphrases