Haskell '22: "A Totally Predictable Outcome: ..."
A Totally Predictable Outcome: An Investigation of Traversals of Infinite Structures
Gershom Bazerman
(Arista Networks, USA)
@InProceedings{Haskell22p46,
author = {Gershom Bazerman},
title = {A Totally Predictable Outcome: An Investigation of Traversals of Infinite Structures},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {46-45},
doi = {10.1145/3546189.3549915},
year = {2022},
}
Publisher's Version
Haskell '22: "Liquid Proof Macros ..."
Liquid Proof Macros
Henry Blanchette, Niki Vazou, and Leonidas Lampropoulos
(University of Maryland at College Park, USA; IMDEA Software Institute, Spain)
@InProceedings{Haskell22p31,
author = {Henry Blanchette and Niki Vazou and Leonidas Lampropoulos},
title = {Liquid Proof Macros},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3546189.3549921},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '22: "Open Transactional Actions: ..."
Open Transactional Actions: Interacting with Non-transactional Resources in STM Haskell
Jonathas Augusto de Oliveira Conceição, André Rauber Du Bois, Samuel da Silva Feitosa, Gerson Geraldo Homrich Cavalheiro, and Rodrigo Geraldo Ribeiro
(Federal University of Pelotas, Brazil; Federal University of Fronteira Sul, Brazil; Federal University of Ouro Preto, Brazil)
@InProceedings{Haskell22p61,
author = {Jonathas Augusto de Oliveira Conceição and André Rauber Du Bois and Samuel da Silva Feitosa and Gerson Geraldo Homrich Cavalheiro and Rodrigo Geraldo Ribeiro},
title = {Open Transactional Actions: Interacting with Non-transactional Resources in STM Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3546189.3549924},
year = {2022},
}
Publisher's Version
Haskell '22: "Reasonable Agda Is Correct ..."
Reasonable Agda Is Correct Haskell: Writing Verified Haskell using agda2hs
Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, and Ulf Norell
(Delft University of Technology, Netherlands; University of Edinburgh, UK; Input Output, UK; University of Gothenburg, Sweden)
@InProceedings{Haskell22p121,
author = {Jesper Cockx and Orestis Melkonian and Lucas Escot and James Chapman and Ulf Norell},
title = {Reasonable Agda Is Correct Haskell: Writing Verified Haskell using agda2hs},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {121-120},
doi = {10.1145/3546189.3549920},
year = {2022},
}
Publisher's Version
Haskell '22: "Reasonable Agda Is Correct ..."
Reasonable Agda Is Correct Haskell: Writing Verified Haskell using agda2hs
Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, and Ulf Norell
(Delft University of Technology, Netherlands; University of Edinburgh, UK; Input Output, UK; University of Gothenburg, Sweden)
@InProceedings{Haskell22p121,
author = {Jesper Cockx and Orestis Melkonian and Lucas Escot and James Chapman and Ulf Norell},
title = {Reasonable Agda Is Correct Haskell: Writing Verified Haskell using agda2hs},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {121-120},
doi = {10.1145/3546189.3549920},
year = {2022},
}
Publisher's Version
Haskell '22: "Open Transactional Actions: ..."
Open Transactional Actions: Interacting with Non-transactional Resources in STM Haskell
Jonathas Augusto de Oliveira Conceição, André Rauber Du Bois, Samuel da Silva Feitosa, Gerson Geraldo Homrich Cavalheiro, and Rodrigo Geraldo Ribeiro
(Federal University of Pelotas, Brazil; Federal University of Fronteira Sul, Brazil; Federal University of Ouro Preto, Brazil)
@InProceedings{Haskell22p61,
author = {Jonathas Augusto de Oliveira Conceição and André Rauber Du Bois and Samuel da Silva Feitosa and Gerson Geraldo Homrich Cavalheiro and Rodrigo Geraldo Ribeiro},
title = {Open Transactional Actions: Interacting with Non-transactional Resources in STM Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3546189.3549924},
year = {2022},
}
Publisher's Version
Haskell '22: "Open Transactional Actions: ..."
Open Transactional Actions: Interacting with Non-transactional Resources in STM Haskell
Jonathas Augusto de Oliveira Conceição, André Rauber Du Bois, Samuel da Silva Feitosa, Gerson Geraldo Homrich Cavalheiro, and Rodrigo Geraldo Ribeiro
(Federal University of Pelotas, Brazil; Federal University of Fronteira Sul, Brazil; Federal University of Ouro Preto, Brazil)
@InProceedings{Haskell22p61,
author = {Jonathas Augusto de Oliveira Conceição and André Rauber Du Bois and Samuel da Silva Feitosa and Gerson Geraldo Homrich Cavalheiro and Rodrigo Geraldo Ribeiro},
title = {Open Transactional Actions: Interacting with Non-transactional Resources in STM Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3546189.3549924},
year = {2022},
}
Publisher's Version
Haskell '22: "Reasonable Agda Is Correct ..."
Reasonable Agda Is Correct Haskell: Writing Verified Haskell using agda2hs
Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, and Ulf Norell
(Delft University of Technology, Netherlands; University of Edinburgh, UK; Input Output, UK; University of Gothenburg, Sweden)
@InProceedings{Haskell22p121,
author = {Jesper Cockx and Orestis Melkonian and Lucas Escot and James Chapman and Ulf Norell},
title = {Reasonable Agda Is Correct Haskell: Writing Verified Haskell using agda2hs},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {121-120},
doi = {10.1145/3546189.3549920},
year = {2022},
}
Publisher's Version
Haskell '22: "Open Transactional Actions: ..."
Open Transactional Actions: Interacting with Non-transactional Resources in STM Haskell
Jonathas Augusto de Oliveira Conceição, André Rauber Du Bois, Samuel da Silva Feitosa, Gerson Geraldo Homrich Cavalheiro, and Rodrigo Geraldo Ribeiro
(Federal University of Pelotas, Brazil; Federal University of Fronteira Sul, Brazil; Federal University of Ouro Preto, Brazil)
@InProceedings{Haskell22p61,
author = {Jonathas Augusto de Oliveira Conceição and André Rauber Du Bois and Samuel da Silva Feitosa and Gerson Geraldo Homrich Cavalheiro and Rodrigo Geraldo Ribeiro},
title = {Open Transactional Actions: Interacting with Non-transactional Resources in STM Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3546189.3549924},
year = {2022},
}
Publisher's Version
Haskell '22: "How to Safely Use Extensionality ..."
How to Safely Use Extensionality in Liquid Haskell
Niki Vazou and Michael Greenberg
(IMDEA Software Institute, Spain; Stevens Institute of Technology, USA)
@InProceedings{Haskell22p16,
author = {Niki Vazou and Michael Greenberg},
title = {How to Safely Use Extensionality in Liquid Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {16-15},
doi = {10.1145/3546189.3549919},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '22: "Investigating Magic Numbers: ..."
Investigating Magic Numbers: Improving the Inlining Heuristic in the Glasgow Haskell Compiler
Celeste Hollenbeck, Michael F. P. O'Boyle, and Michel Steuwer
(University of Edinburgh, UK)
@InProceedings{Haskell22p91,
author = {Celeste Hollenbeck and Michael F. P. O'Boyle and Michel Steuwer},
title = {Investigating Magic Numbers: Improving the Inlining Heuristic in the Glasgow Haskell Compiler},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {91-90},
doi = {10.1145/3546189.3549918},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '22: "Partial Type Constructors ..."
Partial Type Constructors in Practice
Apoorv Ingle, Alex Hubers, and J. Garrett Morris
(University of Iowa, USA)
@InProceedings{Haskell22p106,
author = {Apoorv Ingle and Alex Hubers and J. Garrett Morris},
title = {Partial Type Constructors in Practice},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {106-105},
doi = {10.1145/3546189.3549923},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '22: "Partial Type Constructors ..."
Partial Type Constructors in Practice
Apoorv Ingle, Alex Hubers, and J. Garrett Morris
(University of Iowa, USA)
@InProceedings{Haskell22p106,
author = {Apoorv Ingle and Alex Hubers and J. Garrett Morris},
title = {Partial Type Constructors in Practice},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {106-105},
doi = {10.1145/3546189.3549923},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '22: "Embedded Pattern Matching ..."
Embedded Pattern Matching
Trevor L. McDonell, Joshua D. Meredith, and Gabriele Keller
(Utrecht University, Netherlands; IOG, Australia)
@InProceedings{Haskell22p136,
author = {Trevor L. McDonell and Joshua D. Meredith and Gabriele Keller},
title = {Embedded Pattern Matching},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {136-135},
doi = {10.1145/3546189.3549917},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '22: "Liquid Proof Macros ..."
Liquid Proof Macros
Henry Blanchette, Niki Vazou, and Leonidas Lampropoulos
(University of Maryland at College Park, USA; IMDEA Software Institute, Spain)
@InProceedings{Haskell22p31,
author = {Henry Blanchette and Niki Vazou and Leonidas Lampropoulos},
title = {Liquid Proof Macros},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3546189.3549921},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '22: "Coinduction Inductively: Mechanizing ..."
Coinduction Inductively: Mechanizing Coinductive Proofs in Liquid Haskell
Lykourgos Mastorou, Nikolaos Papaspyrou, and Niki Vazou
(National Technical University of Athens, Greece; IMDEA Software Institute, Spain; Google, Germany)
@InProceedings{Haskell22p1,
author = {Lykourgos Mastorou and Nikolaos Papaspyrou and Niki Vazou},
title = {Coinduction Inductively: Mechanizing Coinductive Proofs in Liquid Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3546189.3549922},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '22: "Embedded Pattern Matching ..."
Embedded Pattern Matching
Trevor L. McDonell, Joshua D. Meredith, and Gabriele Keller
(Utrecht University, Netherlands; IOG, Australia)
@InProceedings{Haskell22p136,
author = {Trevor L. McDonell and Joshua D. Meredith and Gabriele Keller},
title = {Embedded Pattern Matching},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {136-135},
doi = {10.1145/3546189.3549917},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '22: "Reasonable Agda Is Correct ..."
Reasonable Agda Is Correct Haskell: Writing Verified Haskell using agda2hs
Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, and Ulf Norell
(Delft University of Technology, Netherlands; University of Edinburgh, UK; Input Output, UK; University of Gothenburg, Sweden)
@InProceedings{Haskell22p121,
author = {Jesper Cockx and Orestis Melkonian and Lucas Escot and James Chapman and Ulf Norell},
title = {Reasonable Agda Is Correct Haskell: Writing Verified Haskell using agda2hs},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {121-120},
doi = {10.1145/3546189.3549920},
year = {2022},
}
Publisher's Version
Haskell '22: "Embedded Pattern Matching ..."
Embedded Pattern Matching
Trevor L. McDonell, Joshua D. Meredith, and Gabriele Keller
(Utrecht University, Netherlands; IOG, Australia)
@InProceedings{Haskell22p136,
author = {Trevor L. McDonell and Joshua D. Meredith and Gabriele Keller},
title = {Embedded Pattern Matching},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {136-135},
doi = {10.1145/3546189.3549917},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '22: "Partial Type Constructors ..."
Partial Type Constructors in Practice
Apoorv Ingle, Alex Hubers, and J. Garrett Morris
(University of Iowa, USA)
@InProceedings{Haskell22p106,
author = {Apoorv Ingle and Alex Hubers and J. Garrett Morris},
title = {Partial Type Constructors in Practice},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {106-105},
doi = {10.1145/3546189.3549923},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '22: "Reasonable Agda Is Correct ..."
Reasonable Agda Is Correct Haskell: Writing Verified Haskell using agda2hs
Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, and Ulf Norell
(Delft University of Technology, Netherlands; University of Edinburgh, UK; Input Output, UK; University of Gothenburg, Sweden)
@InProceedings{Haskell22p121,
author = {Jesper Cockx and Orestis Melkonian and Lucas Escot and James Chapman and Ulf Norell},
title = {Reasonable Agda Is Correct Haskell: Writing Verified Haskell using agda2hs},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {121-120},
doi = {10.1145/3546189.3549920},
year = {2022},
}
Publisher's Version
Haskell '22: "Investigating Magic Numbers: ..."
Investigating Magic Numbers: Improving the Inlining Heuristic in the Glasgow Haskell Compiler
Celeste Hollenbeck, Michael F. P. O'Boyle, and Michel Steuwer
(University of Edinburgh, UK)
@InProceedings{Haskell22p91,
author = {Celeste Hollenbeck and Michael F. P. O'Boyle and Michel Steuwer},
title = {Investigating Magic Numbers: Improving the Inlining Heuristic in the Glasgow Haskell Compiler},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {91-90},
doi = {10.1145/3546189.3549918},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '22: "Coinduction Inductively: Mechanizing ..."
Coinduction Inductively: Mechanizing Coinductive Proofs in Liquid Haskell
Lykourgos Mastorou, Nikolaos Papaspyrou, and Niki Vazou
(National Technical University of Athens, Greece; IMDEA Software Institute, Spain; Google, Germany)
@InProceedings{Haskell22p1,
author = {Lykourgos Mastorou and Nikolaos Papaspyrou and Niki Vazou},
title = {Coinduction Inductively: Mechanizing Coinductive Proofs in Liquid Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3546189.3549922},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '22: "Open Transactional Actions: ..."
Open Transactional Actions: Interacting with Non-transactional Resources in STM Haskell
Jonathas Augusto de Oliveira Conceição, André Rauber Du Bois, Samuel da Silva Feitosa, Gerson Geraldo Homrich Cavalheiro, and Rodrigo Geraldo Ribeiro
(Federal University of Pelotas, Brazil; Federal University of Fronteira Sul, Brazil; Federal University of Ouro Preto, Brazil)
@InProceedings{Haskell22p61,
author = {Jonathas Augusto de Oliveira Conceição and André Rauber Du Bois and Samuel da Silva Feitosa and Gerson Geraldo Homrich Cavalheiro and Rodrigo Geraldo Ribeiro},
title = {Open Transactional Actions: Interacting with Non-transactional Resources in STM Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3546189.3549924},
year = {2022},
}
Publisher's Version
Haskell '22: "Oregano: Staging Regular Expressions ..."
Oregano: Staging Regular Expressions with Moore Cayley Fusion
Jamie Willis, Nicolas Wu, and Tom Schrijvers
(Imperial College London, UK; KU Leuven, Belgium)
@InProceedings{Haskell22p76,
author = {Jamie Willis and Nicolas Wu and Tom Schrijvers},
title = {Oregano: Staging Regular Expressions with Moore Cayley Fusion},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {76-75},
doi = {10.1145/3546189.3549916},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '22: "Investigating Magic Numbers: ..."
Investigating Magic Numbers: Improving the Inlining Heuristic in the Glasgow Haskell Compiler
Celeste Hollenbeck, Michael F. P. O'Boyle, and Michel Steuwer
(University of Edinburgh, UK)
@InProceedings{Haskell22p91,
author = {Celeste Hollenbeck and Michael F. P. O'Boyle and Michel Steuwer},
title = {Investigating Magic Numbers: Improving the Inlining Heuristic in the Glasgow Haskell Compiler},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {91-90},
doi = {10.1145/3546189.3549918},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '22: "How to Safely Use Extensionality ..."
How to Safely Use Extensionality in Liquid Haskell
Niki Vazou and Michael Greenberg
(IMDEA Software Institute, Spain; Stevens Institute of Technology, USA)
@InProceedings{Haskell22p16,
author = {Niki Vazou and Michael Greenberg},
title = {How to Safely Use Extensionality in Liquid Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {16-15},
doi = {10.1145/3546189.3549919},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '22: "Coinduction Inductively: Mechanizing ..."
Coinduction Inductively: Mechanizing Coinductive Proofs in Liquid Haskell
Lykourgos Mastorou, Nikolaos Papaspyrou, and Niki Vazou
(National Technical University of Athens, Greece; IMDEA Software Institute, Spain; Google, Germany)
@InProceedings{Haskell22p1,
author = {Lykourgos Mastorou and Nikolaos Papaspyrou and Niki Vazou},
title = {Coinduction Inductively: Mechanizing Coinductive Proofs in Liquid Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3546189.3549922},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '22: "Liquid Proof Macros ..."
Liquid Proof Macros
Henry Blanchette, Niki Vazou, and Leonidas Lampropoulos
(University of Maryland at College Park, USA; IMDEA Software Institute, Spain)
@InProceedings{Haskell22p31,
author = {Henry Blanchette and Niki Vazou and Leonidas Lampropoulos},
title = {Liquid Proof Macros},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3546189.3549921},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '22: "Oregano: Staging Regular Expressions ..."
Oregano: Staging Regular Expressions with Moore Cayley Fusion
Jamie Willis, Nicolas Wu, and Tom Schrijvers
(Imperial College London, UK; KU Leuven, Belgium)
@InProceedings{Haskell22p76,
author = {Jamie Willis and Nicolas Wu and Tom Schrijvers},
title = {Oregano: Staging Regular Expressions with Moore Cayley Fusion},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {76-75},
doi = {10.1145/3546189.3549916},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '22: "Oregano: Staging Regular Expressions ..."
Oregano: Staging Regular Expressions with Moore Cayley Fusion
Jamie Willis, Nicolas Wu, and Tom Schrijvers
(Imperial College London, UK; KU Leuven, Belgium)
@InProceedings{Haskell22p76,
author = {Jamie Willis and Nicolas Wu and Tom Schrijvers},
title = {Oregano: Staging Regular Expressions with Moore Cayley Fusion},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {76-75},
doi = {10.1145/3546189.3549916},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available