Additional Metadata
THEME Software (theme 1)
Conference International Colloquium on Automata, Languages and Programming
Citation
Bonsangue, M.M, Rot, J.C, Ancona, D, & Rutten, J.J.M.M. (2015). A coalgebraic foundation for coinductive union types. In Proceedings of International Colloquium on Automata, Languages and Programming 2014 (ICALP 2) (pp. 62–73).