https://github.com/fthomas/refinement-types
https://github.com/fthomas/refinement-types
Last synced: 3 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/fthomas/refinement-types
- Owner: fthomas
- License: cc0-1.0
- Created: 2016-05-27T11:31:37.000Z (about 10 years ago)
- Default Branch: master
- Last Pushed: 2020-03-19T05:29:44.000Z (about 6 years ago)
- Last Synced: 2025-10-12T04:17:50.830Z (8 months ago)
- Size: 3.91 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Refinement Types
http://noamz.org/oplss16/refinements-notes.pdf
## Haskell
* Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, Simon Peyton-Jones. 2014. [Refinement Types For Haskell](http://goto.ucsd.edu/~nvazou/refinement_types_for_haskell.pdf). [doi:10.1145/2692915.2628161](http://dx.doi.org/10.1145/2692915.2628161)
## ML
* Tim Freeman, Frank Pfenning. 1991. [Refinement Types for ML](https://www.cs.cmu.edu/~fp/papers/pldi91.pdf). [doi:10.1145/113445.113468](http://dx.doi.org/10.1145/113445.113468)
## TypeScript
* Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala. 2016. [Refinement Types for TypeScript](http://arxiv.org/pdf/1604.02480v1)