Acyclic attribute evaluation in a dependently typed setting
author
statement of authorship
Denis Firsov and Tarmo Uustalu
location of publication
Reykjavik
publisher
year of publication
pages
p. 124-126 : ill
conference name, date
27th Nordic Workshop on Programming Theory (NWPT 2015), 21-23 October, 2015
conference location
Reykjavik, Iceland
subject term
ISSN
1670-5777
notes
Includes bibliogr
TTÜ department
language
inglise
Firsov, D., Uustalu, T. Acyclic attribute evaluation in a dependently typed setting // Proceedings of the 27th Nordic Workshop on Programming Theory (NWPT 2015). Reykjavik : Reykjavik University, 2016. p. 124-126 : ill. (Technical report / School of Computer Science, Reykjavík University ; RUTR-SCS 16001).