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
EUTYPES-TYPES 2020 : Abstracts
location of publication
Saarbrücken/Wadern
publisher
Dagstuhl Publishing
year of publication
2020
pages
2 p
series
Leibniz international proceedings in informatics (LIPIcs) ; 188
conference name, date
26th International Conference on Types for Proofs and Programs TYPES 2020, March 2–5, 2020
conference location
Turin, Italy
url
https://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf
subject term
loogika
modaalsus
loogiline programmeerimine
subject of form
konverentsikogumikud
ISSN
1868-8969
ISBN
978-3-95977-182-5
notes
Bibliogr.: 6 ref
TalTech department
tarkvarateaduse instituut
language
inglise