Powered by
12th ACM SIGPLAN International Haskell Symposium (Haskell 2019), August 22–23, 2019,
Berlin, Germany
12th ACM SIGPLAN International Haskell Symposium (Haskell 2019)
Frontmatter
Papers
Generic and Flexible Defaults for Verified, Law-Abiding Type-Class Instances
Ryan G. Scott and
Ryan R. Newton
(Indiana University, USA)
@InProceedings{Haskell19p19,
author = {Ryan G. Scott and Ryan R. Newton},
title = {Generic and Flexible Defaults for Verified, Law-Abiding Type-Class Instances},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3331545.3342591},
year = {2019},
}
Publisher's Version
Bidirectional Type Class Instances
Koen Pauwels,
Georgios Karachalias,
Michiel Derhaeg, and
Tom Schrijvers
(KU Leuven, Belgium; Guardsquare, Belgium)
@InProceedings{Haskell19p37,
author = {Koen Pauwels and Georgios Karachalias and Michiel Derhaeg and Tom Schrijvers},
title = {Bidirectional Type Class Instances},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3331545.3342596},
year = {2019},
}
Publisher's Version
G2Q: Haskell Constraint Solving
William T. Hallahan,
Anton Xue, and
Ruzica Piskac
(Yale University, USA)
@InProceedings{Haskell19p55,
author = {William T. Hallahan and Anton Xue and Ruzica Piskac},
title = {G2Q: Haskell Constraint Solving},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {55-54},
doi = {10.1145/3331545.3342590},
year = {2019},
}
Publisher's Version
Making a Faster Curry with Extensional Types
Paul Downen,
Zachary Sullivan,
Zena M. Ariola, and
Simon Peyton Jones
(University of Oregon, USA; Microsoft Research, UK)
@InProceedings{Haskell19p73,
author = {Paul Downen and Zachary Sullivan and Zena M. Ariola and Simon Peyton Jones},
title = {Making a Faster Curry with Extensional Types},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {73-72},
doi = {10.1145/3331545.3342594},
year = {2019},
}
Publisher's Version
Multi-stage Programs in Context
Matthew Pickering,
Nicolas Wu, and
Csongor Kiss
(University of Bristol, UK; Imperial College London, UK)
@InProceedings{Haskell19p91,
author = {Matthew Pickering and Nicolas Wu and Csongor Kiss},
title = {Multi-stage Programs in Context},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {91-90},
doi = {10.1145/3331545.3342597},
year = {2019},
}
Publisher's Version
Published Artifact
Working with Source Plugins
Matthew Pickering,
Nicolas Wu, and
Boldizsár Németh
(University of Bristol, UK; Imperial College London, UK; Eötvös Loránd University, Hungary)
@InProceedings{Haskell19p109,
author = {Matthew Pickering and Nicolas Wu and Boldizsár Németh},
title = {Working with Source Plugins},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {109-108},
doi = {10.1145/3331545.3342599},
year = {2019},
}
Publisher's Version
Monad Transformers and Modular Algebraic Effects: What Binds Them Together
Tom Schrijvers,
Maciej Piróg,
Nicolas Wu, and
Mauro Jaskelioff
(KU Leuven, Belgium; University of Wrocław, Poland; Imperial College London, UK; CIFASIS-CONICET, Argentina; National University of Rosario, Argentina)
@InProceedings{Haskell19p127,
author = {Tom Schrijvers and Maciej Piróg and Nicolas Wu and Mauro Jaskelioff},
title = {Monad Transformers and Modular Algebraic Effects: What Binds Them Together},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {127-126},
doi = {10.1145/3331545.3342595},
year = {2019},
}
Publisher's Version
Scoping Monadic Relational Database Queries
Anton Ekblad
(Chalmers University of Technology, Sweden)
@InProceedings{Haskell19p145,
author = {Anton Ekblad},
title = {Scoping Monadic Relational Database Queries},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {145-144},
doi = {10.1145/3331545.3342598},
year = {2019},
}
Publisher's Version
Verifying Effectful Haskell Programs in Coq
Jan Christiansen,
Sandra Dylus, and
Niels Bunkenburg
(Flensburg University of Applied Sciences, Germany; University of Kiel, Germany)
@InProceedings{Haskell19p163,
author = {Jan Christiansen and Sandra Dylus and Niels Bunkenburg},
title = {Verifying Effectful Haskell Programs in Coq},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {163-162},
doi = {10.1145/3331545.3342592},
year = {2019},
}
Publisher's Version
Formal Verification of Spacecraft Control Programs (Experience Report)
Andrey Mokhov,
Georgy Lukyanov, and
Jakob Lechner
(Newcastle University, UK; RUAG Space, Austria)
@InProceedings{Haskell19p181,
author = {Andrey Mokhov and Georgy Lukyanov and Jakob Lechner},
title = {Formal Verification of Spacecraft Control Programs (Experience Report)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {181-180},
doi = {10.1145/3331545.3342593},
year = {2019},
}
Publisher's Version
STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism
Sebastian Ertel,
Justus Adam,
Norman A. Rink,
Andrés Goens, and
Jeronimo Castrillon
(Huawei Technologies, Germany; TU Dresden, Germany)
@InProceedings{Haskell19p191,
author = {Sebastian Ertel and Justus Adam and Norman A. Rink and Andrés Goens and Jeronimo Castrillon},
title = {STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {191-190},
doi = {10.1145/3331545.3342600},
year = {2019},
}
Publisher's Version
Synthesizing Functional Reactive Programs
Bernd Finkbeiner,
Felix Klein,
Ruzica Piskac, and
Mark Santolucito
(Saarland University, Germany; Yale University, USA)
@InProceedings{Haskell19p209,
author = {Bernd Finkbeiner and Felix Klein and Ruzica Piskac and Mark Santolucito},
title = {Synthesizing Functional Reactive Programs},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {209-208},
doi = {10.1145/3331545.3342601},
year = {2019},
}
Publisher's Version
proc time: 0.76