Calling paradigms and the box calculus

author
Santo, Jose Espırito
statement of authorship
Jose Espırito Santo, Luıs Pinto, and Tarmo Uustalu
location of publication
Saarbrücken/Wadern
year of publication
pages
2 p
conference name, date
26th International Conference on Types for Proofs and Programs TYPES 2020, March 2–5, 2020
conference location
Turin, Italy
subject of form
ISSN
1868-8969
ISBN
978-3-95977-182-5
notes
Bibliogr.: 6 ref
TTÜ department
language
inglise
Santo, J.E., Pinto, L., Uustalu, T. Calling paradigms and the box calculus // EUTYPES-TYPES 2020 : Abstracts. Saarbrücken/Wadern : Dagstuhl Publishing, 2020. 2 p. (Leibniz international proceedings in informatics (LIPIcs) ; 188). https://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf