full record print

Calling paradigms and the box calculus

author
Santo, Jose Espırito
Pinto, Luis
Uustalu, Tarmo
statement of authorship
Jose Espırito Santo, Luıs Pinto, and Tarmo Uustalu
source
location of publication
Saarbrücken/Wadern
publisher
year of publication
pages
2 p
series
conference name, date
26th International Conference on Types for Proofs and Programs TYPES 2020, March 2–5, 2020
conference location
Turin, Italy
url
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