LiquidHaskell: experience with refinement types in the real world - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Niki Vazou, Eric L. Seidel, Ranjit Jhala. LiquidHaskell: experience with refinement types in the real world. In Wouter Swierstra, editor, Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, Gothenburg, Sweden, September 4-5, 2014. pages 39-51, ACM, 2014. [doi]

This author has not been identified. Look up 'Niki Vazou' in GoogleThis author has not been identified. Look up 'Eric L. Seidel' in GoogleThis author has not been identified. Look up 'Ranjit Jhala' in Google

runs on WebDSL