Consequences of the modal unification of the functional calling paradigmsEspírito Santo, José; McDermott, Dylan; Pinto, Luís; Uustalu, Tarmo29th International Conference on Types for Proofs and Programs, TYPES 2023 : Valencia, Spain, 12-15 June 2023, Abstracts2023 / p. 33-35 https://types2023.webs.upv.es/TYPES2023.pdf

Modal embeddings and calling paradigmsSanto, José Espírito; Pinto, Luís; Uustalu, TarmoDays in Logic 2022 : Universidade do Algrave, June 30-July 2, 20222022 / 20 p https://drops.dagstuhl.de/opus/volltexte/2019/10525/pdf/LIPIcs-FSCD-2019-18.pdf https://daysinlogic2022.ualg.pt/wp-content/uploads/2022/06/BookletDiL2022.pdf