Cited By
View all- Vazou NSeidel EJhala R(2014)LiquidHaskellACM SIGPLAN Notices10.1145/2775050.263336649:12(39-51)Online publication date: 3-Sep-2014
- Vazou NSeidel EJhala RSwierstra W(2014)LiquidHaskellProceedings of the 2014 ACM SIGPLAN symposium on Haskell10.1145/2633357.2633366(39-51)Online publication date: 3-Sep-2014