default search action

combined dblp search
author search
venue search
publication search

ask others

15th Haskell 2022: Ljubljana, Slovenia

> Home > Conferences and Workshops > Haskell

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/2022
Nadia Polikarpova:
Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15 - 16, 2022. ACM 2022, ISBN 978-1-4503-9438-3
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/MastorouPV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/MastorouPV22
Lykourgos Mastorou, Nikolaos Papaspyrou, Niki Vazou:
Coinduction inductively: mechanizing coinductive proofs in Liquid Haskell. 1-12
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/Vazou022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Vazou022
Niki Vazou, Michael Greenberg:
How to safely use extensionality in Liquid Haskell. 13-26
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/BlanchetteVL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/BlanchetteVL22
Henry Blanchette, Niki Vazou, Leonidas Lampropoulos:
Liquid proof macros. 27-38
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/Bazerman22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Bazerman22
Gershom Bazerman:
A totally predictable outcome: an investigation of traversals of infinite structures. 39-53
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/ConceicaoBFCR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/ConceicaoBFCR22
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
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/WillisWS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/WillisWS22
Jamie Willis, Nicolas Wu, Tom Schrijvers:
Oregano: staging regular expressions with Moore Cayley fusion. 66-80
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/HollenbeckOS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/HollenbeckOS22
Celeste Hollenbeck, Michael F. P. O'Boyle, Michel Steuwer:
Investigating magic numbers: improving the inlining heuristic in the Glasgow Haskell Compiler. 81-94
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/IngleHM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/IngleHM22
Apoorv Ingle, Alex Hubers, J. Garrett Morris:
Partial type constructors in practice. 95-107
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/CockxME0N22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/CockxME0N22
Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, Ulf Norell:
Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs. 108-122
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/McDonellMK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/McDonellMK22
Trevor L. McDonell, Joshua D. Meredith, Gabriele Keller:
Embedded pattern matching. 123-136

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.