Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Christos Dimoulas

On Contract Satisfaction in a Higher-Order World

ACM Transactions on Programming Languages and Systems

English