| |
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
Article: icfpws21haskellmain-p95-p doi:10.1145/3471874.3472987
|
| |
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
Article: icfpws21haskellmain-p33-p doi:10.1145/3471874.3472980
|
| |
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
Article: icfpws21haskellmain-p76-p doi:10.1145/3471874.3472985
|
| |
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
Article: icfpws21haskellmain-p38-p doi:10.1145/3471874.3472982
|
| |
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
Article: icfpws21haskellmain-p25-p doi:10.1145/3471874.3472979
|
| |
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
Article: icfpws21haskellmain-p76-p doi:10.1145/3471874.3472985
|
| |
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
Article: icfpws21haskellmain-p95-p doi:10.1145/3471874.3472987
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
Article: icfpws21haskellmain-p36-p doi:10.1145/3471874.3472981
|
| |
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
Article: icfpws21haskellmain-p36-p doi:10.1145/3471874.3472981
|
| |
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
Article: icfpws21haskellmain-p25-p doi:10.1145/3471874.3472979
|
| |
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
Article: icfpws21haskellmain-p54-p doi:10.1145/3471874.3472983
|
| |
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
Article: icfpws21haskellmain-p86-p doi:10.1145/3471874.3472986
|
| |
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
Article: icfpws21haskellmain-p38-p doi:10.1145/3471874.3472982
|
| |
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
Article: icfpws21haskellmain-p100-p doi:10.1145/3471874.3472988
|
| |
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
Article: icfpws21haskellmain-p54-p doi:10.1145/3471874.3472983
|
| |
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
Article: icfpws21haskellmain-p33-p doi:10.1145/3471874.3472980
|
| |
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
Article: icfpws21haskellmain-p38-p doi:10.1145/3471874.3472982
|
| |
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
Article: icfpws21haskellmain-p54-p doi:10.1145/3471874.3472983
|
| |
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
Article: icfpws21haskellmain-p74-p doi:10.1145/3471874.3472984
|
| |
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
Article: icfpws21haskellmain-p100-p doi:10.1145/3471874.3472988
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
Article: icfpws21haskellmain-p74-p doi:10.1145/3471874.3472984
|