Robert Atkey, Patricia Johann, Andrew Kennedy
Abstraction and invariance for algebraically indexed types
POPL, 2013.
@inproceedings{POPL-2013-AtkeyJK, author = "Robert Atkey and Patricia Johann and Andrew Kennedy", booktitle = "{Proceedings of the 40th Annual Symposium on Principles of Programming Languages}", doi = "10.1145/2429069.2429082", editor = "Roberto Giacobazzi and Radhia Cousot", isbn = "978-1-4503-1832-7", pages = "87--100", publisher = "{ACM}", title = "{Abstraction and invariance for algebraically indexed types}", year = 2013, }