Powered by
13th ACM SIGPLAN International Haskell Symposium (Haskell 2020), August 27, 2020,
Virtual Event, USA
13th ACM SIGPLAN International Haskell Symposium (Haskell 2020)
Frontmatter
Title Page
Article: icfpws20haskellforeword-fm000-p doi:
Experience Reports
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
Article: icfpws20haskellmain-p14-p doi:10.1145/3406088.3409018
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
Article: icfpws20haskellmain-p17-p doi:10.1145/3406088.3409020
Functional Pearls
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
Article: icfpws20haskellmain-p28-p doi:10.1145/3406088.3409026
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
Article: icfpws20haskellmain-p8-p doi:10.1145/3406088.3409015
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
Article: icfpws20haskellmain-p16-p doi:10.1145/3406088.3409019
Research Papers
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
Article: icfpws20haskellmain-p2-p doi:10.1145/3406088.3409014
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
Article: icfpws20haskellmain-p24-p doi:10.1145/3406088.3409023
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
Article: icfpws20haskellmain-p23-p doi:10.1145/3406088.3409022
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
Article: icfpws20haskellmain-p9-p doi:10.1145/3406088.3409016
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
Article: icfpws20haskellmain-p21-p doi:10.1145/3406088.3409021
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
Article: icfpws20haskellmain-p31-p doi:10.1145/3406088.3409027
proc time: 0.03