Institute of Cybernetics Tallinn University / Engineering Chalmers University of Technology / /
IndustryTerm
associativity law / delay infrastructure / /
Organization
Cybernetics Tallinn University / U.S. Securities and Exchange Commission / Copatterns and Sized Types Andreas Abel James Chapman Department of Computer Science / Computer Science and Engineering Chalmers University / Chalmers University of Technology / eta / /
Person
Altenkirch / Where Altenkirch / Andreas Abel James Chapman / Ty / /
Position
coinductive evaluator / first author / model for our evaluator / programmer / /
Normalization by Evaluation in the Delay Monad A Case Study for Coinduction via Copatterns and Sized Types Andreas Abel James Chapman