TY  - RPRT
TI  - Verified Functional Programming of an Abstract Interpreter
AU  - Lucas Franceschino
AU  - David Pichardie
AU  - Jean-Pierre Talpin
PY  - 2021
DO  - 10.1007/978-3-030-88806-0_6
UR  - https://arxiv.org/abs/2107.09472
ID  - 2107.09472
ER  -