![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
15th Haskell 2022: Ljubljana, Slovenia
- Nadia Polikarpova:
Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15 - 16, 2022. ACM 2022, ISBN 978-1-4503-9438-3 - Lykourgos Mastorou
, Nikolaos Papaspyrou, Niki Vazou:
Coinduction inductively: mechanizing coinductive proofs in Liquid Haskell. 1-12 - Niki Vazou, Michael Greenberg
:
How to safely use extensionality in Liquid Haskell. 13-26 - Henry Blanchette, Niki Vazou, Leonidas Lampropoulos:
Liquid proof macros. 27-38 - Gershom Bazerman:
A totally predictable outcome: an investigation of traversals of infinite structures. 39-53 - Jonathas Augusto de Oliveira Conceição, André Rauber Du Bois, Samuel da Silva Feitosa, Gerson Geraldo Homrich Cavalheiro, Rodrigo Geraldo Ribeiro:
Open transactional actions: interacting with non-transactional resources in STM Haskell. 54-65 - Jamie Willis, Nicolas Wu, Tom Schrijvers
:
Oregano: staging regular expressions with Moore Cayley fusion. 66-80 - Celeste Hollenbeck, Michael F. P. O'Boyle, Michel Steuwer:
Investigating magic numbers: improving the inlining heuristic in the Glasgow Haskell Compiler. 81-94 - Apoorv Ingle
, Alex Hubers
, J. Garrett Morris
:
Partial type constructors in practice. 95-107 - Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, Ulf Norell:
Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs. 108-122 - Trevor L. McDonell
, Joshua D. Meredith, Gabriele Keller:
Embedded pattern matching. 123-136
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.