APA (7th ed.) Citation

DE VILHENA, P. E., & POTTIER, F. (2023). VERIFYING AN EFFECT-HANDLER-BASED DEFINE-BY-RUN REVERSE-MODE AD LIBRARY. Logical Methods in Computer Science (LMCS), 19(4), 1. https://doi.org/10.46298/LMCS-19(4:5)2023

Chicago Style (17th ed.) Citation

DE VILHENA, PAULO EMÍLIO, and FRANÇOIS POTTIER. "VERIFYING AN EFFECT-HANDLER-BASED DEFINE-BY-RUN REVERSE-MODE AD LIBRARY." Logical Methods in Computer Science (LMCS) 19, no. 4 (2023): 1. https://doi.org/10.46298/LMCS-19(4:5)2023.

MLA (9th ed.) Citation

DE VILHENA, PAULO EMÍLIO, and FRANÇOIS POTTIER. "VERIFYING AN EFFECT-HANDLER-BASED DEFINE-BY-RUN REVERSE-MODE AD LIBRARY." Logical Methods in Computer Science (LMCS), vol. 19, no. 4, 2023, p. 1, https://doi.org/10.46298/LMCS-19(4:5)2023.