Acyclic attribute evaluation in a dependently typed setting
author
Firsov, Denis
Uustalu, Tarmo
statement of authorship
Denis Firsov and Tarmo Uustalu
source
Proceedings of the 27th Nordic Workshop on Programming Theory (NWPT 2015)
location of publication
Reykjavik
publisher
Reykjavik University
year of publication
2016
pages
p. 124-126 : ill
series
Technical report / School of Computer Science, Reykjavík University ; RUTR-SCS 16001
conference name, date
27th Nordic Workshop on Programming Theory (NWPT 2015), 21-23 October, 2015
conference location
Reykjavik, Iceland
url
http://icetcs.ru.is/nwpt2015/NWPT15Proceedings.pdf
subject term
programmeerimiskeeled
semantika
ISSN
1670-5777
notes
Includes bibliogr
TalTech department
TTÜ Küberneetika Instituut
arvutiteaduse instituut
language
inglise