Cited By
View all- Wu DFluet M(2025)A Preliminary Type- and Control-Flow Analysis for System F$$_\omega $$Trends in Functional Programming10.1007/978-3-031-74558-4_8(160-194)Online publication date: 10-Jan-2025
- Ni YWang Y(2024)Generic Reasoning of the Locally Nameless RepresentationProgramming Languages and Systems10.1007/978-981-97-8943-6_3(42-62)Online publication date: 23-Oct-2024
- Suwa TIgarashi A(2024)An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage ProgrammingFunctional and Logic Programming10.1007/978-981-97-2300-3_13(237-272)Online publication date: 2024
- Show More Cited By