Normalization by evaluation in the delay monad: A case study for coinduction via copatterns and sized types

statement of authorship
Andreas Abel, James Chapman
location of publication
[S.l.]
year of publication
pages
p. 51-67
conference name, date
5th Workshop on Mathematically Structured Functional Programming (MSFP 2014), 12 April 2014
conference location
Grenoble, France
quartile
Q3
category (general)
ISSN
2075-2180
notes
Bibliogr.: 24 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
language
inglise