LiquidHaskell

Proceedings of the 2014 ACM SIGPLAN symposium on Haskell - Haskell '14 ◽

10.1145/2633357.2633366 ◽

2014 ◽

Author(s):

Niki Vazou ◽

Eric L. Seidel ◽

Ranjit Jhala

Download Full-text