APA (7th ed.) Citation

Suwa, T., & Igarashi, A. (2024). An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage Programming. Functional and Logic Programming, 237-272. https://doi.org/10.1007/978-981-97-2300-3_13

Chicago Style (17th ed.) Citation

Suwa, Takashi, and Atsushi Igarashi. "An ML-Style Module System For Cross-Stage Type Abstraction In Multi-stage Programming." Functional and Logic Programming 2024: 237-272. https://doi.org/10.1007/978-981-97-2300-3_13.

MLA (9th ed.) Citation

Suwa, Takashi, and Atsushi Igarashi. "An ML-Style Module System For Cross-Stage Type Abstraction In Multi-stage Programming." Functional and Logic Programming, 2024, pp. 237-272, https://doi.org/10.1007/978-981-97-2300-3_13.