ICFP Workshops 2022
27th ACM SIGPLAN International Conference on Functional Programming (ICFP 2022)
Powered by
Conference Publishing Consulting

15th ACM SIGPLAN International Haskell Symposium (Haskell 2022), September 15–16, 2022, Ljubljana, Slovenia

Workshop Haskell 2022 – Author Index

Contents - Abstracts - Authors

B C D E F G H I K L M N O P R S V W

Bazerman, Gershom Haskell '22: "A Totally Predictable Outcome: ..."
Blanchette, Henry Haskell '22: "Liquid Proof Macros ..."
Cavalheiro, Gerson Geraldo Homrich Haskell '22: "Open Transactional Actions: ..."
Chapman, James Haskell '22: "Reasonable Agda Is Correct ..."
Cockx, Jesper Haskell '22: "Reasonable Agda Is Correct ..."
Conceição, Jonathas Augusto de Oliveira Haskell '22: "Open Transactional Actions: ..."
Du Bois, André Rauber Haskell '22: "Open Transactional Actions: ..."
Escot, Lucas Haskell '22: "Reasonable Agda Is Correct ..."
Feitosa, Samuel da Silva Haskell '22: "Open Transactional Actions: ..."
Greenberg, Michael Haskell '22: "How to Safely Use Extensionality ..."
Hollenbeck, Celeste Haskell '22: "Investigating Magic Numbers: ..."
Hubers, Alex Haskell '22: "Partial Type Constructors ..."
Ingle, Apoorv Haskell '22: "Partial Type Constructors ..."
Keller, Gabriele Haskell '22: "Embedded Pattern Matching ..."
Lampropoulos, Leonidas Haskell '22: "Liquid Proof Macros ..."
Mastorou, Lykourgos Haskell '22: "Coinduction Inductively: Mechanizing ..."
McDonell, Trevor L. Haskell '22: "Embedded Pattern Matching ..."
Melkonian, Orestis Haskell '22: "Reasonable Agda Is Correct ..."
Meredith, Joshua D. Haskell '22: "Embedded Pattern Matching ..."
Morris, J. Garrett Haskell '22: "Partial Type Constructors ..."
Norell, Ulf Haskell '22: "Reasonable Agda Is Correct ..."
O'Boyle, Michael F. P. Haskell '22: "Investigating Magic Numbers: ..."
Papaspyrou, Nikolaos Haskell '22: "Coinduction Inductively: Mechanizing ..."
Ribeiro, Rodrigo Geraldo Haskell '22: "Open Transactional Actions: ..."
Schrijvers, Tom Haskell '22: "Oregano: Staging Regular Expressions ..."
Steuwer, Michel Haskell '22: "Investigating Magic Numbers: ..."
Vazou, Niki Haskell '22: "How to Safely Use Extensionality ..." Haskell '22: "Coinduction Inductively: Mechanizing ..." Haskell '22: "Liquid Proof Macros ..."
Willis, Jamie Haskell '22: "Oregano: Staging Regular Expressions ..."
Wu, Nicolas Haskell '22: "Oregano: Staging Regular Expressions ..."

31 authors

proc time: 6.9