Haskell '20: "Composing Effects into Tasks ..."
Composing Effects into Tasks and Workflows
Yves Parès, Jean-Philippe Bernardy, and Richard A. Eisenberg
(Tweag I/O, France; University of Gothenburg, Sweden; Bryn Mawr College, USA)
@InProceedings{Haskell20p107,
author = {Yves Parès and Jean-Philippe Bernardy and Richard A. Eisenberg},
title = {Composing Effects into Tasks and Workflows},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {107-106},
doi = {10.1145/3406088.3409023},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '20: "Towards Secure IoT Programming ..."
Towards Secure IoT Programming in Haskell
Nachiappan Valliappan, Robert Krook, Alejandro Russo, and Koen Claessen
(Chalmers University of Technology, Sweden)
@InProceedings{Haskell20p179,
author = {Nachiappan Valliappan and Robert Krook and Alejandro Russo and Koen Claessen},
title = {Towards Secure IoT Programming in Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {179-178},
doi = {10.1145/3406088.3409027},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '20: "Finger Trees Explained Anew, ..."
Finger Trees Explained Anew, and Slightly Simplified (Functional Pearl)
Koen Claessen
(Chalmers University of Technology, Sweden)
@InProceedings{Haskell20p35,
author = {Koen Claessen},
title = {Finger Trees Explained Anew, and Slightly Simplified (Functional Pearl)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {35-34},
doi = {10.1145/3406088.3409026},
year = {2020},
}
Publisher's Version
Haskell '20: "Describing Microservices using ..."
Describing Microservices using Modern Haskell (Experience Report)
Alejandro Serrano and Flavio Corpa
(47 Degrees, Spain)
@InProceedings{Haskell20p1,
author = {Alejandro Serrano and Flavio Corpa},
title = {Describing Microservices using Modern Haskell (Experience Report)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3406088.3409018},
year = {2020},
}
Publisher's Version
Haskell '20: "Composing Effects into Tasks ..."
Composing Effects into Tasks and Workflows
Yves Parès, Jean-Philippe Bernardy, and Richard A. Eisenberg
(Tweag I/O, France; University of Gothenburg, Sweden; Bryn Mawr College, USA)
@InProceedings{Haskell20p107,
author = {Yves Parès and Jean-Philippe Bernardy and Richard A. Eisenberg},
title = {Composing Effects into Tasks and Workflows},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {107-106},
doi = {10.1145/3406088.3409023},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '20: "Stitch: The Sound Type-Indexed ..."
Stitch: The Sound Type-Indexed Type Checker (Functional Pearl)
Richard A. Eisenberg
(Tweag I/O, France; Bryn Mawr College, USA)
@InProceedings{Haskell20p53,
author = {Richard A. Eisenberg},
title = {Stitch: The Sound Type-Indexed Type Checker (Functional Pearl)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {53-52},
doi = {10.1145/3406088.3409015},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '20: "Assessing the Quality of Evolving ..."
Assessing the Quality of Evolving Haskell Systems by Measuring Structural Inequality
Sander Kamps, Bastiaan Heeren, and Johan Jeuring
(Open University of the Netherlands, Netherlands)
@InProceedings{Haskell20p89,
author = {Sander Kamps and Bastiaan Heeren and Johan Jeuring},
title = {Assessing the Quality of Evolving Haskell Systems by Measuring Structural Inequality},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {89-88},
doi = {10.1145/3406088.3409014},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '20: "A Graded Monad for Deadlock-Free ..."
A Graded Monad for Deadlock-Free Concurrency (Functional Pearl)
Andrej Ivašković and Alan Mycroft
(University of Cambridge, UK)
@InProceedings{Haskell20p17,
author = {Andrej Ivašković and Alan Mycroft},
title = {A Graded Monad for Deadlock-Free Concurrency (Functional Pearl)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {17-16},
doi = {10.1145/3406088.3409024},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '20: "Assessing the Quality of Evolving ..."
Assessing the Quality of Evolving Haskell Systems by Measuring Structural Inequality
Sander Kamps, Bastiaan Heeren, and Johan Jeuring
(Open University of the Netherlands, Netherlands)
@InProceedings{Haskell20p89,
author = {Sander Kamps and Bastiaan Heeren and Johan Jeuring},
title = {Assessing the Quality of Evolving Haskell Systems by Measuring Structural Inequality},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {89-88},
doi = {10.1145/3406088.3409014},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '20: "Assessing the Quality of Evolving ..."
Assessing the Quality of Evolving Haskell Systems by Measuring Structural Inequality
Sander Kamps, Bastiaan Heeren, and Johan Jeuring
(Open University of the Netherlands, Netherlands)
@InProceedings{Haskell20p89,
author = {Sander Kamps and Bastiaan Heeren and Johan Jeuring},
title = {Assessing the Quality of Evolving Haskell Systems by Measuring Structural Inequality},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {89-88},
doi = {10.1145/3406088.3409014},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '20: "Towards Secure IoT Programming ..."
Towards Secure IoT Programming in Haskell
Nachiappan Valliappan, Robert Krook, Alejandro Russo, and Koen Claessen
(Chalmers University of Technology, Sweden)
@InProceedings{Haskell20p179,
author = {Nachiappan Valliappan and Robert Krook and Alejandro Russo and Koen Claessen},
title = {Towards Secure IoT Programming in Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {179-178},
doi = {10.1145/3406088.3409027},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '20: "Effect Handlers in Haskell, ..."
Effect Handlers in Haskell, Evidently
Ningning Xie and Daan Leijen
(Microsoft Research, USA)
@InProceedings{Haskell20p125,
author = {Ningning Xie and Daan Leijen},
title = {Effect Handlers in Haskell, Evidently},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {125-124},
doi = {10.1145/3406088.3409022},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '20: "Staged Sums of Products ..."
Staged Sums of Products
Matthew Pickering, Andres Löh, and Nicolas Wu
(University of Bristol, UK; Well-Typed LLP, UK; Imperial College London, UK)
@InProceedings{Haskell20p161,
author = {Matthew Pickering and Andres Löh and Nicolas Wu},
title = {Staged Sums of Products},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {161-160},
doi = {10.1145/3406088.3409021},
year = {2020},
}
Publisher's Version
Haskell '20: "A Graded Monad for Deadlock-Free ..."
A Graded Monad for Deadlock-Free Concurrency (Functional Pearl)
Andrej Ivašković and Alan Mycroft
(University of Cambridge, UK)
@InProceedings{Haskell20p17,
author = {Andrej Ivašković and Alan Mycroft},
title = {A Graded Monad for Deadlock-Free Concurrency (Functional Pearl)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {17-16},
doi = {10.1145/3406088.3409024},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '20: "Type Your Matrices for Great ..."
Type Your Matrices for Great Good: A Haskell Library of Typed Matrices and Applications (Functional Pearl)
Armando Santos and José N. Oliveira
(University of Minho, Portugal; INESC TEC, Portugal)
@InProceedings{Haskell20p71,
author = {Armando Santos and José N. Oliveira},
title = {Type Your Matrices for Great Good: A Haskell Library of Typed Matrices and Applications (Functional Pearl)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {71-70},
doi = {10.1145/3406088.3409019},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '20: "Composing Effects into Tasks ..."
Composing Effects into Tasks and Workflows
Yves Parès, Jean-Philippe Bernardy, and Richard A. Eisenberg
(Tweag I/O, France; University of Gothenburg, Sweden; Bryn Mawr College, USA)
@InProceedings{Haskell20p107,
author = {Yves Parès and Jean-Philippe Bernardy and Richard A. Eisenberg},
title = {Composing Effects into Tasks and Workflows},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {107-106},
doi = {10.1145/3406088.3409023},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '20: "Staged Sums of Products ..."
Staged Sums of Products
Matthew Pickering, Andres Löh, and Nicolas Wu
(University of Bristol, UK; Well-Typed LLP, UK; Imperial College London, UK)
@InProceedings{Haskell20p161,
author = {Matthew Pickering and Andres Löh and Nicolas Wu},
title = {Staged Sums of Products},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {161-160},
doi = {10.1145/3406088.3409021},
year = {2020},
}
Publisher's Version
Haskell '20: "Towards Secure IoT Programming ..."
Towards Secure IoT Programming in Haskell
Nachiappan Valliappan, Robert Krook, Alejandro Russo, and Koen Claessen
(Chalmers University of Technology, Sweden)
@InProceedings{Haskell20p179,
author = {Nachiappan Valliappan and Robert Krook and Alejandro Russo and Koen Claessen},
title = {Towards Secure IoT Programming in Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {179-178},
doi = {10.1145/3406088.3409027},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '20: "Type Your Matrices for Great ..."
Type Your Matrices for Great Good: A Haskell Library of Typed Matrices and Applications (Functional Pearl)
Armando Santos and José N. Oliveira
(University of Minho, Portugal; INESC TEC, Portugal)
@InProceedings{Haskell20p71,
author = {Armando Santos and José N. Oliveira},
title = {Type Your Matrices for Great Good: A Haskell Library of Typed Matrices and Applications (Functional Pearl)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {71-70},
doi = {10.1145/3406088.3409019},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '20: "Describing Microservices using ..."
Describing Microservices using Modern Haskell (Experience Report)
Alejandro Serrano and Flavio Corpa
(47 Degrees, Spain)
@InProceedings{Haskell20p1,
author = {Alejandro Serrano and Flavio Corpa},
title = {Describing Microservices using Modern Haskell (Experience Report)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3406088.3409018},
year = {2020},
}
Publisher's Version
Haskell '20: "Scripted Signal Functions ..."
Scripted Signal Functions
David A. Stuart
@InProceedings{Haskell20p143,
author = {David A. Stuart},
title = {Scripted Signal Functions},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {143-142},
doi = {10.1145/3406088.3409016},
year = {2020},
}
Publisher's Version
Haskell '20: "Towards Secure IoT Programming ..."
Towards Secure IoT Programming in Haskell
Nachiappan Valliappan, Robert Krook, Alejandro Russo, and Koen Claessen
(Chalmers University of Technology, Sweden)
@InProceedings{Haskell20p179,
author = {Nachiappan Valliappan and Robert Krook and Alejandro Russo and Koen Claessen},
title = {Towards Secure IoT Programming in Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {179-178},
doi = {10.1145/3406088.3409027},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '20: "Staged Sums of Products ..."
Staged Sums of Products
Matthew Pickering, Andres Löh, and Nicolas Wu
(University of Bristol, UK; Well-Typed LLP, UK; Imperial College London, UK)
@InProceedings{Haskell20p161,
author = {Matthew Pickering and Andres Löh and Nicolas Wu},
title = {Staged Sums of Products},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {161-160},
doi = {10.1145/3406088.3409021},
year = {2020},
}
Publisher's Version
Haskell '20: "Effect Handlers in Haskell, ..."
Effect Handlers in Haskell, Evidently
Ningning Xie and Daan Leijen
(Microsoft Research, USA)
@InProceedings{Haskell20p125,
author = {Ningning Xie and Daan Leijen},
title = {Effect Handlers in Haskell, Evidently},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {125-124},
doi = {10.1145/3406088.3409022},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '20: "Eliminating Bugs with Dependent ..."
Eliminating Bugs with Dependent Haskell (Experience Report)
Noam Zilberstein
(Facebook, USA)
@InProceedings{Haskell20p9,
author = {Noam Zilberstein},
title = {Eliminating Bugs with Dependent Haskell (Experience Report)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {9-8},
doi = {10.1145/3406088.3409020},
year = {2020},
}
Publisher's Version