Manifest Contracts for Datatypes.

Taro Sekiyama, Yuki Nishida, Atsushi Igarashi

Browse the full POPL paper archive.