MODULAR TERMINATION FOR SECOND-ORDER COMPUTATION RULES AND APPLICATION TO ALGEBRAIC EFFECT HANDLERS.

MLA

Hamana, Makoto. “Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers.” Logical Methods in Computer Science (LMCS), vol. 18, no. 2, Apr. 2022, pp. 1–33. EBSCOhost, https://doi.org/10.46298/LMCS-18(218)2022.

APA

Hamana, M. (2022). Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers. Logical Methods in Computer Science (LMCS), 18(2), 1–33. https://doi.org/10.46298/LMCS-18(218)2022

Chicago

Hamana, Makoto. 2022. “Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers.” Logical Methods in Computer Science (LMCS) 18 (2): 1–33. doi:10.46298/LMCS-18(218)2022.