External Links

    Journal: Foundations and Trends in Programming Languages

    Volume 6, Issue 3-4

    159 -- 317Ranjit Jhala, Niki Vazou. Refinement Types: A Tutorial
    runs on