2015
A coalgebraic foundation for coinductive union types
Publication
Publication
Presented at the
International Colloquium on Automata, Languages and Programming
Additional Metadata | |
---|---|
Software (theme 1) | |
International Colloquium on Automata, Languages and Programming | |
Organisation | Computer Security |
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).
|