TY  - RPRT
TI  - HMC: Verifying Functional Programs Using Abstract Interpreters
AU  - Ranjit Jhala
AU  - Rupak Majumdar
AU  - Andrey Rybalchenko
PY  - 2010
UR  - https://arxiv.org/abs/1004.2884
ID  - 1004.2884
ER  -