APA (7th ed.) Citation

KOPRIVEC, F., & PRETNAR, M. (2025). SIMPLIFYING EXPLICIT SUBTYPING COERCIONS IN A POLYMORPHIC CALCULUS WITH EFFECTS. Logical Methods in Computer Science (LMCS), 21(4), 25:1. https://doi.org/10.46298/LMCS-21(4:25)2025

Chicago Style (17th ed.) Citation

KOPRIVEC, FILIP, and MATIJA PRETNAR. "SIMPLIFYING EXPLICIT SUBTYPING COERCIONS IN A POLYMORPHIC CALCULUS WITH EFFECTS." Logical Methods in Computer Science (LMCS) 21, no. 4 (2025): 25:1. https://doi.org/10.46298/LMCS-21(4:25)2025.

MLA (9th ed.) Citation

KOPRIVEC, FILIP, and MATIJA PRETNAR. "SIMPLIFYING EXPLICIT SUBTYPING COERCIONS IN A POLYMORPHIC CALCULUS WITH EFFECTS." Logical Methods in Computer Science (LMCS), vol. 21, no. 4, 2025, p. 25:1, https://doi.org/10.46298/LMCS-21(4:25)2025.