Acyclic attribute evaluation in a dependently typed setting
autor
Firsov, Denis
Uustalu, Tarmo
vastutusandmed
Denis Firsov and Tarmo Uustalu
allikas
Proceedings of the 27th Nordic Workshop on Programming Theory (NWPT 2015)
ilmumiskoht
Reykjavik
kirjastus/väljaandja
Reykjavik University
ilmumisaasta
2016
leheküljed
p. 124-126 : ill
seeria-sari
Technical report / School of Computer Science, Reykjavík University ; RUTR-SCS 16001
konverentsi nimetus, aeg
27th Nordic Workshop on Programming Theory (NWPT 2015), 21-23 October, 2015
konverentsi toimumispaik
Reykjavik, Iceland
leitav
http://icetcs.ru.is/nwpt2015/NWPT15Proceedings.pdf
märksõna
programmeerimiskeeled
semantika
ISSN
1670-5777
märkused
Includes bibliogr
TTÜ struktuuriüksus
TTÜ Küberneetika Instituut
arvutiteaduse instituut
keel
inglise