Jack Williams, J. Garrett Morris, Philip Wadler
The root cause of blame: contracts for intersection and union types
OOPSLA, 2018.
@article{OOPSLA-2018-WilliamsMW,
author = "Jack Williams and J. Garrett Morris and Philip Wadler",
doi = "10.1145/3276504",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "OOPSLA",
pages = "29",
publisher = "{ACM}",
title = "{The root cause of blame: contracts for intersection and union types}",
volume = 2,
year = 2018,
}