expressible systems / stream processors / software development / list sorting algorithms / type systems / stream processor / /
NaturalFeature
Fibonacci stream / /
Organization
LerNet ALFA Summer School / Type-Based Termination / Inflationary Fixed-Points / and Mixed Inductive-Coinductive Types Andreas Abel Department of Computer Science Ludwig-Maximilians-University Munich / Universidade do Minho / /
Person
Conor McBride / Lars Pareto / Anders Danielsson / Bruno Barras / David Aspinall / Jules Desharnais / Brigitte Pientka / Gang Chen / Milad Niqui / Nils Anders / Adriana B. Compagnoni / Nils Anders Danielsson / Alberto Pardo / John Hughes / Thierry Coquand / Neil Ghani / Ekaterina Komendantskaya / Peter Aczel / Benjamin Gr´egoire / Patrick Cousot / Peter Hancock / Andreas Abel / Colin Riba / Bruno Bernardo / Healfdene Goguen / Jan Smith / Jean-Yves Girard / David Thibodeau / Peter Ruzicka / Naoki Kobayashi / Nicolas Oury / Jorge Sousa Pinto / Roberto M. Amadio / Michael Rathjen / Simone Martini / Agda / Eduardo Gim´enez / Andrei Voronkov / Dirk Pattinson / Twelf / Amr Sabry / Coq / Gilles Barthe / Solange Coupet-Grimal / Adriana Compagnoni / Fernando Pastawski / Cody Roux / Thorsten Altenkirch / Maria Jo / /
Position
editor / Guard / head / author / /
ProgrammingLanguage
A # / /
PublishedMedium
Pacific Journal of Mathematics / /
Technology
stream processors / pdf / list sorting algorithms / stream processor / http / /
Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types Andreas Abel Department of Computer Science Ludwig-Maximilians-University Munich, Germany