"ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for ..."

John Toman et al. (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics