Normalization by evaluation in the delay monad: A case study for coinduction via copatterns and sized types
autor
vastutusandmed
Andreas Abel, James Chapman
ilmumiskoht
[S.l.]
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 51-67
konverentsi nimetus, aeg
5th Workshop on Mathematically Structured Functional Programming (MSFP 2014), 12 April 2014
konverentsi toimumispaik
Grenoble, France
ISSN
2075-2180
märkused
Bibliogr.: 24 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
kategooria (üld)
kategooria (alam)
Abel, A., Chapman, J. Normalization by evaluation in the delay monad: A case study for coinduction via copatterns and sized types // Proceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 2014. [S.l.] : Open Publishing Association, 2014. p. 51-67. (Electronic proceedings in theoretical computer science ; 153).