Scalability and Precision by Combining Expressive Type Systems and Deductive Verification

@article{LanzingerWeiglUlbrich2021_1000139256,
    author       = {Florian Lanzinger and Alexander Weigl and Mattias Ulbrich and Werner Dietl},
    year         = {2021},
    month        = oct,
    title        = {Scalability and Precision by Combining Expressive Type Systems and Deductive Verification},
    volume       = {5},
    number       = {{OOPSLA}},
    pages        = {1--29},
    journal      = {Proceedings of the ACM on programming languages},
    articleno    = {143},
    doi          = {10.1145/3485520},
    publisher    = {Association for Computing Machinery ({ACM})},
    issn         = {2475-1421},
    keywords     = {Pluggable type systems, Deductive verification, Refinement types},
    pdf          = {PDF:/lanzinger/pdf/oopsla2021.pdf}
}