Abstraction and invariance for algebraically indexed types.

Robert Atkey, Patricia Johann, Andrew Kennedy

Browse the full POPL paper archive.