Cited By
View all- 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
- Cirstea HMoreau PKomendantskaya E(2019)Generic Encodings of Constructor Rewriting SystemsProceedings of the 21st International Symposium on Principles and Practice of Declarative Programming10.1145/3354166.3354173(1-12)Online publication date: 7-Oct-2019
- Antoy SHanus M(2016)Default Rules for CurryPractical Aspects of Declarative Languages10.1007/978-3-319-28228-2_5(65-82)Online publication date: 9-Jan-2016
- Show More Cited By