José Espírito Santo, Luís Pinto, Tarmo Uustalu. Modal Embeddings and Calling Paradigms. In Herman Geuvers, editor, 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019, June 24-30, 2019, Dortmund, Germany. Volume 131 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019. [doi]
Abstract is missing.