How to safely use extensionality in Liquid Haskell - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Niki Vazou, Michael Greenberg 0002. How to safely use extensionality in Liquid Haskell. In Nadia Polikarpova, editor, Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15 - 16, 2022. pages 13-26, ACM, 2022. [doi]

This author has not been identified. Look up 'Niki Vazou' in GoogleThis author has not been identified. Look up 'Michael Greenberg 0002' in Google

runs on WebDSL