Acyclic attribute evaluation in a dependently typed setting
Firsov, Denis
;
Uustalu, Tarmo
Proceedings of the 27th Nordic Workshop on Programming Theory (NWPT 2015)
2016
/
p. 124-126 : ill
http://icetcs.ru.is/nwpt2015/NWPT15Proceedings.pdf