Cited By
View all- Clement BRémy DRadanne G(2024)Fulfilling OCaml Modules with TransparencyProceedings of the ACM on Programming Languages10.1145/36498188:OOPSLA1(194-222)Online publication date: 29-Apr-2024
- Lermusiaux PMontagu B(2024)Detection of Uncaught Exceptions in Functional Programs by Abstract InterpretationProgramming Languages and Systems10.1007/978-3-031-57267-8_15(391-420)Online publication date: 6-Apr-2024
- Loulergue FPhilippe JTomb A(2023)Towards Verified Scalable Parallel Computing with Coq and SparkProceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs10.1145/3605156.3606450(11-17)Online publication date: 18-Jul-2023
- Show More Cited By