Corpus ID: 222377897

Refinement Types: A Tutorial

@article{Jhala2020RefinementTA,
  title={Refinement Types: A Tutorial},
  author={R. Jhala and Niki Vazou},
  journal={ArXiv},
  year={2020},
  volume={abs/2010.07763}
}
  • R. Jhala, Niki Vazou
  • Published 2020
  • Computer Science
  • ArXiv
  • Refinement types enrich a language's type system with logical predicates that circumscribe the set of values described by the type, thereby providing software developers a tunable knob with which to inform the type system about what invariants and correctness properties should be checked on their code. In this article, we distill the ideas developed in the substantial literature on refinement types into a unified tutorial that explains the key ingredients of modern refinement type systems. In… CONTINUE READING

    References

    SHOWING 1-10 OF 81 REFERENCES
    Abstract Refinement Types
    • 91
    • PDF
    A unified system of type refinements
    • 64
    • PDF
    Bounded refinement types
    • 27
    • PDF
    Refinement types for TypeScript
    • 31
    • PDF
    Refinement types for ML
    • 399
    • PDF
    Types and programming languages
    • 2,358
    • PDF
    Hybrid type checking
    • 227
    • PDF
    Dynamic Typing with Dependent Types
    • 91
    • PDF
    Predicate Abstraction for Linked Data Structures
    • 5
    • PDF
    Bidirectional Typing
    • 4
    • PDF