Abstraction and invariance for algebraically indexed types
Atkey, Robert, Johann, Patricia, Kennedy, AndrewVolume:
48
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/2480359.2429082
Date:
January, 2013
File:
PDF, 767 KB
english, 2013