Workshop Haskell 2021 – Author Index

B D E G K L M P R S T V W

	Bailey, Toby	Haskell '21: "Chesskell: A Two-Player Game ..." Chesskell: A Two-Player Game at the Type Level Toby Bailey and Michael B. Gale (University of Warwick, UK) @InProceedings{Haskell21p129, author = {Toby Bailey and Michael B. Gale}, title = {Chesskell: A Two-Player Game at the Type Level}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {129-128}, doi = {10.1145/3471874.3472987}, year = {2021}, } Publisher's Version Published Artifact Artifacts Available
	Bernardy, Jean-Philippe	Haskell '21: "Evaluating Linear Functions ..." Evaluating Linear Functions to Symmetric Monoidal Categories Jean-Philippe Bernardy and Arnaud Spiwack (University of Gothenburg, Sweden; Tweag, France) @InProceedings{Haskell21p17, author = {Jean-Philippe Bernardy and Arnaud Spiwack}, title = {Evaluating Linear Functions to Symmetric Monoidal Categories}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {17-16}, doi = {10.1145/3471874.3472980}, year = {2021}, } Publisher's Version Published Artifact Artifacts Available
	Bottu, Gert-Jan	Haskell '21: "Seeking Stability by Being ..." Seeking Stability by Being Lazy and Shallow: Lazy and Shallow Instantiation Is User Friendly Gert-Jan Bottu and Richard A. Eisenberg (KU Leuven, Belgium; Tweag, France) @InProceedings{Haskell21p97, author = {Gert-Jan Bottu and Richard A. Eisenberg}, title = {Seeking Stability by Being Lazy and Shallow: Lazy and Shallow Instantiation Is User Friendly}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {97-96}, doi = {10.1145/3471874.3472985}, year = {2021}, } Publisher's Version
	Bunkenburg, Niels	Haskell '21: "Haskell⁻¹: Automatic Function ..." Haskell⁻¹: Automatic Function Inversion in Haskell Finn Teegen, Kai-Oliver Prott, and Niels Bunkenburg (University of Kiel, Germany) @InProceedings{Haskell21p49, author = {Finn Teegen and Kai-Oliver Prott and Niels Bunkenburg}, title = {Haskell⁻¹: Automatic Function Inversion in Haskell}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {49-48}, doi = {10.1145/3471874.3472982}, year = {2021}, } Publisher's Version Published Artifact Artifacts Available
	Dardha, Ornela	Haskell '21: "Deadlock-Free Session Types ..." Deadlock-Free Session Types in Linear Haskell Wen Kokke and Ornela Dardha (University of Edinburgh, UK; University of Glasgow, UK) @InProceedings{Haskell21p1, author = {Wen Kokke and Ornela Dardha}, title = {Deadlock-Free Session Types in Linear Haskell}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3471874.3472979}, year = {2021}, } Publisher's Version
	Eisenberg, Richard A.	Haskell '21: "Seeking Stability by Being ..." Seeking Stability by Being Lazy and Shallow: Lazy and Shallow Instantiation Is User Friendly Gert-Jan Bottu and Richard A. Eisenberg (KU Leuven, Belgium; Tweag, France) @InProceedings{Haskell21p97, author = {Gert-Jan Bottu and Richard A. Eisenberg}, title = {Seeking Stability by Being Lazy and Shallow: Lazy and Shallow Instantiation Is User Friendly}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {97-96}, doi = {10.1145/3471874.3472985}, year = {2021}, } Publisher's Version
	Gale, Michael B.	Haskell '21: "Chesskell: A Two-Player Game ..." Chesskell: A Two-Player Game at the Type Level Toby Bailey and Michael B. Gale (University of Warwick, UK) @InProceedings{Haskell21p129, author = {Toby Bailey and Michael B. Gale}, title = {Chesskell: A Two-Player Game at the Type Level}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {129-128}, doi = {10.1145/3471874.3472987}, year = {2021}, } Publisher's Version Published Artifact Artifacts Available Haskell '21: "Graded Monads and Type-Level ..." Graded Monads and Type-Level Programming for Dependence Analysis Finnbar Keating and Michael B. Gale (University of Warwick, UK) @InProceedings{Haskell21p33, author = {Finnbar Keating and Michael B. Gale}, title = {Graded Monads and Type-Level Programming for Dependence Analysis}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {33-32}, doi = {10.1145/3471874.3472981}, year = {2021}, } Publisher's Version Published Artifact Artifacts Available
	Keating, Finnbar	Haskell '21: "Graded Monads and Type-Level ..." Graded Monads and Type-Level Programming for Dependence Analysis Finnbar Keating and Michael B. Gale (University of Warwick, UK) @InProceedings{Haskell21p33, author = {Finnbar Keating and Michael B. Gale}, title = {Graded Monads and Type-Level Programming for Dependence Analysis}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {33-32}, doi = {10.1145/3471874.3472981}, year = {2021}, } Publisher's Version Published Artifact Artifacts Available
	Kokke, Wen	Haskell '21: "Deadlock-Free Session Types ..." Deadlock-Free Session Types in Linear Haskell Wen Kokke and Ornela Dardha (University of Edinburgh, UK; University of Glasgow, UK) @InProceedings{Haskell21p1, author = {Wen Kokke and Ornela Dardha}, title = {Deadlock-Free Session Types in Linear Haskell}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3471874.3472979}, year = {2021}, } Publisher's Version
	Lindley, Sam	Haskell '21: "Practical Normalization by ..." Practical Normalization by Evaluation for EDSLs Nachiappan Valliappan, Alejandro Russo, and Sam Lindley (Chalmers University of Technology, Sweden; University of Edinburgh, UK) @InProceedings{Haskell21p65, author = {Nachiappan Valliappan and Alejandro Russo and Sam Lindley}, title = {Practical Normalization by Evaluation for EDSLs}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {65-64}, doi = {10.1145/3471874.3472983}, year = {2021}, } Publisher's Version Published Artifact Artifacts Available
	Matela, Rudy	Haskell '21: "Express: Applications of Dynamically ..." Express: Applications of Dynamically Typed Haskell Expressions Rudy Matela @InProceedings{Haskell21p113, author = {Rudy Matela}, title = {Express: Applications of Dynamically Typed Haskell Expressions}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {113-112}, doi = {10.1145/3471874.3472986}, year = {2021}, } Publisher's Version
	Prott, Kai-Oliver	Haskell '21: "Haskell⁻¹: Automatic Function ..." Haskell⁻¹: Automatic Function Inversion in Haskell Finn Teegen, Kai-Oliver Prott, and Niels Bunkenburg (University of Kiel, Germany) @InProceedings{Haskell21p49, author = {Finn Teegen and Kai-Oliver Prott and Niels Bunkenburg}, title = {Haskell⁻¹: Automatic Function Inversion in Haskell}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {49-48}, doi = {10.1145/3471874.3472982}, year = {2021}, } Publisher's Version Published Artifact Artifacts Available
	Punchihewa, Hashan	Haskell '21: "Safe Mutation with Algebraic ..." Safe Mutation with Algebraic Effects Hashan Punchihewa and Nicolas Wu (Imperial College London, UK) @InProceedings{Haskell21p145, author = {Hashan Punchihewa and Nicolas Wu}, title = {Safe Mutation with Algebraic Effects}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {145-144}, doi = {10.1145/3471874.3472988}, year = {2021}, } Publisher's Version
	Russo, Alejandro	Haskell '21: "Practical Normalization by ..." Practical Normalization by Evaluation for EDSLs Nachiappan Valliappan, Alejandro Russo, and Sam Lindley (Chalmers University of Technology, Sweden; University of Edinburgh, UK) @InProceedings{Haskell21p65, author = {Nachiappan Valliappan and Alejandro Russo and Sam Lindley}, title = {Practical Normalization by Evaluation for EDSLs}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {65-64}, doi = {10.1145/3471874.3472983}, year = {2021}, } Publisher's Version Published Artifact Artifacts Available
	Spiwack, Arnaud	Haskell '21: "Evaluating Linear Functions ..." Evaluating Linear Functions to Symmetric Monoidal Categories Jean-Philippe Bernardy and Arnaud Spiwack (University of Gothenburg, Sweden; Tweag, France) @InProceedings{Haskell21p17, author = {Jean-Philippe Bernardy and Arnaud Spiwack}, title = {Evaluating Linear Functions to Symmetric Monoidal Categories}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {17-16}, doi = {10.1145/3471874.3472980}, year = {2021}, } Publisher's Version Published Artifact Artifacts Available
	Teegen, Finn	Haskell '21: "Haskell⁻¹: Automatic Function ..." Haskell⁻¹: Automatic Function Inversion in Haskell Finn Teegen, Kai-Oliver Prott, and Niels Bunkenburg (University of Kiel, Germany) @InProceedings{Haskell21p49, author = {Finn Teegen and Kai-Oliver Prott and Niels Bunkenburg}, title = {Haskell⁻¹: Automatic Function Inversion in Haskell}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {49-48}, doi = {10.1145/3471874.3472982}, year = {2021}, } Publisher's Version Published Artifact Artifacts Available
	Valliappan, Nachiappan	Haskell '21: "Practical Normalization by ..." Practical Normalization by Evaluation for EDSLs Nachiappan Valliappan, Alejandro Russo, and Sam Lindley (Chalmers University of Technology, Sweden; University of Edinburgh, UK) @InProceedings{Haskell21p65, author = {Nachiappan Valliappan and Alejandro Russo and Sam Lindley}, title = {Practical Normalization by Evaluation for EDSLs}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {65-64}, doi = {10.1145/3471874.3472983}, year = {2021}, } Publisher's Version Published Artifact Artifacts Available
	Willis, Jamie	Haskell '21: "Design Patterns for Parser ..." Design Patterns for Parser Combinators (Functional Pearl) Jamie Willis and Nicolas Wu (Imperial College London, UK) @InProceedings{Haskell21p81, author = {Jamie Willis and Nicolas Wu}, title = {Design Patterns for Parser Combinators (Functional Pearl)}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {81-80}, doi = {10.1145/3471874.3472984}, year = {2021}, } Publisher's Version Published Artifact Artifacts Available
	Wu, Nicolas	Haskell '21: "Safe Mutation with Algebraic ..." Safe Mutation with Algebraic Effects Hashan Punchihewa and Nicolas Wu (Imperial College London, UK) @InProceedings{Haskell21p145, author = {Hashan Punchihewa and Nicolas Wu}, title = {Safe Mutation with Algebraic Effects}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {145-144}, doi = {10.1145/3471874.3472988}, year = {2021}, } Publisher's Version Haskell '21: "Design Patterns for Parser ..." Design Patterns for Parser Combinators (Functional Pearl) Jamie Willis and Nicolas Wu (Imperial College London, UK) @InProceedings{Haskell21p81, author = {Jamie Willis and Nicolas Wu}, title = {Design Patterns for Parser Combinators (Functional Pearl)}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {81-80}, doi = {10.1145/3471874.3472984}, year = {2021}, } Publisher's Version Published Artifact Artifacts Available

21 authors

proc time: 0.04