prindi

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
Hutton, G. PhD abstracts // Journal of functional programming (2017) vol. 25, art. e25, p. 1-18. https://doi.org/10.1017/s0956796817000181