[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - Abstraction and invariance for algebraically indexed types
Atkey, Robert, Johann, Patricia, Kennedy, AndrewYear:
2013
Language:
english
DOI:
10.1145/2429069.2429082
File:
PDF, 767 KB
english, 2013