Back to Results
First PageMeta Content
Normalisation by evaluation / Monad / Computer programming / Curry–Howard correspondence / Mathematical logic / Software engineering / Lambda calculus


Normalization by Evaluation in the Delay Monad A Case Study for Coinduction via Copatterns and Sized Types Andreas Abel James Chapman
Add to Reading List

Document Date: 2014-02-16 03:48:02

Open Document

File Size: 225,12 KB

Share Result on Facebook

Company

Creative Commons / /

/

Facility

Institute of Cybernetics Tallinn University / Gothenburg University / /

IndustryTerm

associativity law / delay infrastructure / /

Organization

Copatterns and Sized Types Andreas Abel James Chapman Department of Computer Science and Engineering Chalmers / Cybernetics Tallinn University / U.S. Securities and Exchange Commission / eta / /

Person

Altenkirch / Where Altenkirch / Andreas Abel James Chapman / Leroy / Ty / Grégoire / /

Position

coinductive evaluator / first author / model for our evaluator / programmer / /

ProgrammingLanguage

Haskell / /

URL

http /

SocialTag