refinement-type

There are 0 repository under refinement-type topic.

kevin-lee / extras
A few extra tools
scala tools cats concurrency console-io newtype refined refinement refinement-type
Language:Scala 15
pfnet-research / pml
A ML-like programming language with type-based probabilistic behavior specification, developed as part of PFN summer internship 2018.
probabilistic-model model-checking type-system refinement-type verification
Language:C++ 10

kevin-lee / extras