Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell - Haskell 2019
Latest Publications

TOTAL DOCUMENTS

13

(FIVE YEARS 13)

H-INDEX

2

(FIVE YEARS 2)

Published By ACM Press

9781450368131

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Scoping monadic relational database queries

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell - Haskell 2019 ◽

10.1145/3331545.3342598 ◽

2019 ◽

Author(s):

Anton Ekblad

Keyword(s):

Relational Database ◽

Database Queries

Download Full-text

Synthesizing functional reactive programs

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell - Haskell 2019 ◽

10.1145/3331545.3342601 ◽

2019 ◽

Author(s):

Bernd Finkbeiner ◽

Felix Klein ◽

Ruzica Piskac ◽

Mark Santolucito

Keyword(s):

Reactive Programs

Download Full-text

STCLang: state thread composition as a foundation for monadic dataflow parallelism

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell - Haskell 2019 ◽

10.1145/3331545.3342600 ◽

2019 ◽

Author(s):

Sebastian Ertel ◽

Justus Adam ◽

Norman A. Rink ◽

Andrés Goens ◽

Jeronimo Castrillon

Download Full-text

Monad transformers and modular algebraic effects: what binds them together

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell - Haskell 2019 ◽

10.1145/3331545.3342595 ◽

2019 ◽

Author(s):

Tom Schrijvers ◽

Maciej Piróg ◽

Nicolas Wu ◽

Mauro Jaskelioff

Download Full-text

Multi-stage programs in context

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell - Haskell 2019 ◽

10.1145/3331545.3342597 ◽

2019 ◽

Author(s):

Matthew Pickering ◽

Nicolas Wu ◽

Csongor Kiss

Keyword(s):

Download Full-text

Bidirectional type class instances

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell - Haskell 2019 ◽

10.1145/3331545.3342596 ◽

2019 ◽

Author(s):

Koen Pauwels ◽

Georgios Karachalias ◽

Michiel Derhaeg ◽

Tom Schrijvers

Download Full-text

Making a faster Curry with extensional types

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell - Haskell 2019 ◽

10.1145/3331545.3342594 ◽

2019 ◽

Author(s):

Paul Downen ◽

Zachary Sullivan ◽

Zena M. Ariola ◽

Simon Peyton Jones

Download Full-text

Verifying effectful Haskell programs in Coq

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell - Haskell 2019 ◽

10.1145/3331545.3342592 ◽

2019 ◽

Author(s):

Jan Christiansen ◽

Sandra Dylus ◽

Niels Bunkenburg

Download Full-text

Modular effects in Haskell through effect polymorphism and explicit dictionary applications: a new approach and the μVeriFast verifier as a case study

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell - Haskell 2019 ◽

10.1145/3331545.3342589 ◽

2019 ◽

Author(s):

Dominique Devriese

Keyword(s):

Download Full-text

G2Q: Haskell constraint solving

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell - Haskell 2019 ◽

10.1145/3331545.3342590 ◽

2019 ◽

Author(s):

William T. Hallahan ◽

Anton Xue ◽

Ruzica Piskac

Keyword(s):

Constraint Solving

Download Full-text