Liquid proof macros
Autor: | Henry Blanchette, Niki Vazou, Leonidas Lampropoulos |
---|---|
Rok vydání: | 2022 |
Zdroj: | Proceedings of the 15th ACM SIGPLAN International Haskell Symposium. |
Databáze: | OpenAIRE |
Externí odkaz: |
Autor: | Henry Blanchette, Niki Vazou, Leonidas Lampropoulos |
---|---|
Rok vydání: | 2022 |
Zdroj: | Proceedings of the 15th ACM SIGPLAN International Haskell Symposium. |
Databáze: | OpenAIRE |
Externí odkaz: |