https://hal.inria.fr/hal-02916996 Contributor : Laurent JonchèreConnect in order to contact the contributor Submitted on : Tuesday, September 29, 2020 - 5:15:54 PM Last modification on : Monday, April 4, 2022 - 9:28:24 AM Long-term archiving on: : Wednesday, December 30, 2020 - 7:09:32 PM
Benoît Montagu, Thomas Jensen. Stable relations and abstract interpretation of higher-order programs. Proceedings of the ACM on Programming Languages, ACM, 2020, 4 (ICFP), pp.1-30. ⟨10.1145/3409001⟩. ⟨hal-02916996⟩