Powered by
10th ACM SIGPLAN International Haskell Symposium (Haskell 2017), September 7-8, 2017,
Oxford, UK
10th ACM SIGPLAN International Haskell Symposium (Haskell 2017)
Frontmatter
Session 1
Ornaments: Exploiting Parametricity for Safer, More Automated Code Refactorization and Code Reuse (Invited Talk)
Didier Rémy
(Inria, France)
@InProceedings{Haskell17p1,
author = {Didier Rémy},
title = {Ornaments: Exploiting Parametricity for Safer, More Automated Code Refactorization and Code Reuse (Invited Talk)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2017},
}
Algebraic Graphs with Class (Functional Pearl)
Andrey Mokhov
(Newcastle University, UK)
@InProceedings{Haskell17p13,
author = {Andrey Mokhov},
title = {Algebraic Graphs with Class (Functional Pearl)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {13-12},
doi = {},
year = {2017},
}
Packrats Parse in Packs
Mario Blažević and
Jacques Légaré
(Stilo International, Canada)
@InProceedings{Haskell17p25,
author = {Mario Blažević and Jacques Légaré},
title = {Packrats Parse in Packs},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {25-24},
doi = {},
year = {2017},
}
Ode on a Random Urn (Functional Pearl)
Leonidas Lampropoulos,
Antal Spector-Zabusky, and
Kenneth Foner
(University of Pennsylvania, USA)
@InProceedings{Haskell17p37,
author = {Leonidas Lampropoulos and Antal Spector-Zabusky and Kenneth Foner},
title = {Ode on a Random Urn (Functional Pearl)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {37-36},
doi = {},
year = {2017},
}
Session 2
QuickSpec: A Lightweight Theory Exploration Tool for Programmers (System Demonstration)
Maximilian Algehed,
Koen Claessen,
Moa Johansson, and
Nick Smallbone
(Chalmers University of Technology, Sweden)
@InProceedings{Haskell17p49,
author = {Maximilian Algehed and Koen Claessen and Moa Johansson and Nick Smallbone},
title = {QuickSpec: A Lightweight Theory Exploration Tool for Programmers (System Demonstration)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {49-48},
doi = {},
year = {2017},
}
Using Coq to Write Fast and Correct Haskell
John Wiegley and
Benjamin Delaware
(BAE Systems, USA; Purdue University, USA)
@InProceedings{Haskell17p63,
author = {John Wiegley and Benjamin Delaware},
title = {Using Coq to Write Fast and Correct Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {63-62},
doi = {},
year = {2017},
}
A Tale of Two Provers: Verifying Monoidal String Matching in Liquid Haskell and Coq
Niki Vazou,
Leonidas Lampropoulos, and
Jeff Polakow
(University of Maryland, USA; University of Pennsylvania, USA; Awake Networks, USA)
@InProceedings{Haskell17p75,
author = {Niki Vazou and Leonidas Lampropoulos and Jeff Polakow},
title = {A Tale of Two Provers: Verifying Monoidal String Matching in Liquid Haskell and Coq},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {75-74},
doi = {},
year = {2017},
}
A Meta-EDSL for Distributed Web Applications
Anton Ekblad
(Chalmers University of Technology, Sweden)
@InProceedings{Haskell17p87,
author = {Anton Ekblad},
title = {A Meta-EDSL for Distributed Web Applications},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {87-86},
doi = {},
year = {2017},
}
Composable Network Stacks and Remote Monads
Justin Dawson,
Mark Grebe, and
Andy Gill
(University of Kansas, USA)
@InProceedings{Haskell17p99,
author = {Justin Dawson and Mark Grebe and Andy Gill},
title = {Composable Network Stacks and Remote Monads},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {99-98},
doi = {},
year = {2017},
}
Session 3
Algorithmic Music in Haskell (Invited Talk)
Donya Quick
(Stevens Institute of Technology, USA)
@InProceedings{Haskell17p111,
author = {Donya Quick},
title = {Algorithmic Music in Haskell (Invited Talk)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {111-110},
doi = {},
year = {2017},
}
Well-Typed Music Does Not Sound Wrong (Experience Report)
Dmitrij Szamozvancev and
Michael B. Gale
(University of Cambridge, UK)
@InProceedings{Haskell17p123,
author = {Dmitrij Szamozvancev and Michael B. Gale},
title = {Well-Typed Music Does Not Sound Wrong (Experience Report)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {123-122},
doi = {},
year = {2017},
}
Back to the Future: Time Travel in FRP
Ivan Perez
(University of Nottingham, UK)
@InProceedings{Haskell17p129,
author = {Ivan Perez},
title = {Back to the Future: Time Travel in FRP},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {129-128},
doi = {},
year = {2017},
}
The Linearity Monad
Jennifer Paykin and
Steve Zdancewic
(University of Pennsylvania, USA)
@InProceedings{Haskell17p141,
author = {Jennifer Paykin and Steve Zdancewic},
title = {The Linearity Monad},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {141-140},
doi = {},
year = {2017},
}
Session 4
Elaboration on Functional Dependencies: Functional Dependencies Are Dead, Long Live Functional Dependencies!
Georgios Karachalias and
Tom Schrijvers
(KU Leuven, Belgium)
@InProceedings{Haskell17p157,
author = {Georgios Karachalias and Tom Schrijvers},
title = {Elaboration on Functional Dependencies: Functional Dependencies Are Dead, Long Live Functional Dependencies!},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {157-156},
doi = {},
year = {2017},
}
Quantified Class Constraints
Gert-Jan Bottu,
Georgios Karachalias,
Tom Schrijvers,
Bruno C. d. S. Oliveira, and
Philip Wadler
(KU Leuven, Belgium; University of Hong Kong, China; University of Edinburgh, UK)
@InProceedings{Haskell17p172,
author = {Gert-Jan Bottu and Georgios Karachalias and Tom Schrijvers and Bruno C. d. S. Oliveira and Philip Wadler},
title = {Quantified Class Constraints},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {172-171},
doi = {},
year = {2017},
}
Hardware Software Co-design in Haskell
Markus Aronsson and
Mary Sheeran
(Chalmers University of Technology, Sweden)
@InProceedings{Haskell17p186,
author = {Markus Aronsson and Mary Sheeran},
title = {Hardware Software Co-design in Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {186-185},
doi = {},
year = {2017},
}
Streaming Irregular Arrays
Robert Clifton-Everest,
Trevor L. McDonell,
Manuel M. T. Chakravarty, and
Gabriele Keller
(UNSW, Australia)
@InProceedings{Haskell17p198,
author = {Robert Clifton-Everest and Trevor L. McDonell and Manuel M. T. Chakravarty and Gabriele Keller},
title = {Streaming Irregular Arrays},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {198-197},
doi = {},
year = {2017},
}
Improving STM Performance with Transactional Structs
Ryan Yates and
Michael L. Scott
(University of Rochester, USA)
@InProceedings{Haskell17p210,
author = {Ryan Yates and Michael L. Scott},
title = {Improving STM Performance with Transactional Structs},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {210-209},
doi = {},
year = {2017},
}
Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping
Chao-Hong Chen,
Vikraman Choudhury, and
Ryan R. Newton
(Indiana University, USA)
@InProceedings{Haskell17p222,
author = {Chao-Hong Chen and Vikraman Choudhury and Ryan R. Newton},
title = {Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {222-221},
doi = {},
year = {2017},
}
proc time: 0.79