ACM DL

Programming Languages and Systems (TOPLAS)

Menu

Search Issue
enter search term and/or author name

Archive


Polymorphic Manifest Contracts, Revised and Resolved
Taro Sekiyama, Atsushi Igarashi, Michael Greenberg
Article No.: 3
DOI: 10.1145/2994594

Manifest contracts track precise program properties by refining types with predicates—for example, {x:Int∣ x > 0} denotes the positive integers. Contracts and polymorphism make a natural combination:...