Acyclic attribute evaluation in a dependently typed setting

vastutusandmed
Denis Firsov and Tarmo Uustalu
ilmumiskoht
Reykjavik
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 124-126 : ill
konverentsi nimetus, aeg
27th Nordic Workshop on Programming Theory (NWPT 2015), 21-23 October, 2015
konverentsi toimumispaik
Reykjavik, Iceland
ISSN
1670-5777
märkused
Includes bibliogr
keel
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). http://icetcs.ru.is/nwpt2015/NWPT15Proceedings.pdf