[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - A relationally parametric model of dependent type theory
Atkey, Robert, Ghani, Neil, Johann, PatriciaYear:
2014
Language:
english
DOI:
10.1145/2535838.2535852
File:
PDF, 634 KB
english, 2014