Normalization by evaluation in the delay monad: A case study for coinduction via copatterns and sized types
autor
Abel, Andreas
Chapman, James
vastutusandmed
Andreas Abel, James Chapman
allikas
Proceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 2014
ilmumiskoht
[S.l.]
kirjastus/väljaandja
Open Publishing Association
ilmumisaasta
2014
leheküljed
p. 51-67
seeria-sari
Electronic proceedings in theoretical computer science ; 153
konverentsi nimetus, aeg
5th Workshop on Mathematically Structured Functional Programming (MSFP 2014), 12 April 2014
konverentsi toimumispaik
Grenoble, France
leitav
https://doi.org/10.4204/EPTCS.153.4
märksõna
Agda (programmeerimiskeel)
programmeerimine
lambda-arvutus
monaadid
Scopus
https://www.scopus.com/sourceid/21100244944
https://www.scopus.com/record/display.uri?eid=2-s2.0-84938794091&origin=inward&txGid=ec71e364f461bd0191452a4d91fb2a63
kvartiil
Q3
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. Software
Arvutiteadus. Tarkvara
ISSN
2075-2180
märkused
Bibliogr.: 24 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
TTÜ Küberneetika Instituut
keel
inglise