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 / /