PhD abstracts
autor
Hutton, Graham
vastutusandmed
Graham Hutton
allikas
Journal of functional programming
ajakirja aastakäik number kuu
vol. 25
ilmumisaasta
2017
leheküljed
art. e25, p. 1-18
leitav
https://doi.org/10.1017/s0956796817000181
märksõna
dissertatsioonid
funktsionaalprogrammeerimine
tema kohta
Veltri, Niccolo
ISSN
0956-7968
märkused
Artikkel sisaldab dissertatsioonide kokkuvõtteid.
Niccolo Veltri. A type-theoretical study of non-termination, p.17-18
keel
inglise