Bidirectional Type Checking for Relational Properties

Ezgi Çiçek, Weihao Qu, Gilles Barthe +2

Relational type systems have been designed for several applications including information flow, differential privacy, and cost analysis. In order to achieve the best results, these…