http://noamz.org/oplss16/refinements-notes.pdf
- Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, Simon Peyton-Jones. 2014. Refinement Types For Haskell. doi:10.1145/2692915.2628161
- Tim Freeman, Frank Pfenning. 1991. Refinement Types for ML. doi:10.1145/113445.113468
- Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala. 2016. Refinement Types for TypeScript