Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- invited-talkJanuary 2014
Refinement types for Haskell
PLPV '14: Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program VerificationPage 27https://doi.org/10.1145/2541568.2541569We present LiquidHaskell (http://goto.ucsd.edu/liquid), an automatic verifier for Haskell. LiquidHaskell uses Refinement types, a restricted form of dependent types where relationships between values are encoded by decorating types with logical ...
- proceedingJanuary 2014
PLPV '14: Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification
Welcome to the 8th edition of Programming Languages meets Program Verification (PLPV).
The PLPV series of workshops aims to bring together researchers working in the intersection of programming languages and program verification. Relevant topics include,...