Manifest Contracts with Intersection Types

By Yuki Nishida and Atsushi Igarashi. In Proceedings of the 17th Asian Symposium on Programming Languages and Systems (APLAS2019).

Abstract

File(s)

$Date: $ Valid XHTML 1.0 Strict Validate