2015
A coalgebraic foundation for coinductive union types
Publication
Publication
Presented at the
International Colloquium on Automata, Languages and Programming
Additional Metadata | |
---|---|
International Colloquium on Automata, Languages and Programming | |
Organisation | Computer Security |
Bonsangue, M., Rot, J., Ancona, D., & Rutten, J. (2015). A coalgebraic foundation for coinductive union types. In Proceedings of International Colloquium on Automata, Languages and Programming 2014 (ICALP 2) (pp. 62–73). |