Cited By
View all- Kovács A(2024)Closure-Free Functional Programming in a Two-Level Type TheoryProceedings of the ACM on Programming Languages10.1145/36746488:ICFP(659-692)Online publication date: 15-Aug-2024
- Lester MMurray TErnst G(2019)Analysis of MiniJava programs via translation to MLProceedings of the 21st Workshop on Formal Techniques for Java-like Programs10.1145/3340672.3341119(1-3)Online publication date: 15-Jul-2019
- Suwa TTsukada TKobayashi NIgarashi ASchultz UYallop J(2017)Verification of code generators via higher-order model checkingProceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation10.1145/3018882.3018886(59-70)Online publication date: 2-Jan-2017
- Show More Cited By