Streams of approximations, equivalence of recursive effectful programs
vastutusandmed
Niccolo Veltri, Niels Voorneveld
allikas
Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings
ilmumiskoht
Cham
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 198-221 : ill
seeria-sari
konverentsi nimetus, aeg
Mathematics of Program Construction: 14th International Conference, MPC 2022, September 26–28, 2022
konverentsi toimumispaik
Tbilisi, Georgia,
ISSN
0302-9743
ISBN
978-3-031-16911-3
märkused
Bibliogr.: 30 ref
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
märksõna
võtmesõna
call-by-push value
differentiation (calculus)
kvartiil
klassifikaator
kategooria (üld)
kategooria (alam)
Uurimisrühm
Veltri, N., Voorneveld, N. Streams of approximations, equivalence of recursive effectful programs // Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings. Cham : Springer, 2022. p. 198-221 : ill. (Lecture notes in computer science ; 13544).