Normalization by evaluation in the delay monad: A case study for coinduction via copatterns and sized types
author
Abel, Andreas
Chapman, James
statement of authorship
Andreas Abel, James Chapman
source
Proceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 2014
location of publication
[S.l.]
publisher
Open Publishing Association
year of publication
2014
pages
p. 51-67
series
Electronic proceedings in theoretical computer science ; 153
conference name, date
5th Workshop on Mathematically Structured Functional Programming (MSFP 2014), 12 April 2014
conference location
Grenoble, France
url
https://doi.org/10.4204/EPTCS.153.4
subject term
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
quartile
Q3
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. Software
Arvutiteadus. Tarkvara
ISSN
2075-2180
notes
Bibliogr.: 24 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
TTÜ Küberneetika Instituut
language
inglise