Cited By
View all- Racordon DFlesselle EBovel MErtl MKirsch C(2024)Existential Containers in ScalaProceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes10.1145/3679007.3685056(55-64)Online publication date: 13-Sep-2024
- Fissore DTassi E(2024)Higher-Order unification for free!: Reusing the meta-language unification for the object languageProceedings of the 26th International Symposium on Principles and Practice of Declarative Programming10.1145/3678232.3678233(1-13)Online publication date: 9-Sep-2024
- 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
- Show More Cited By