default search action

combined dblp search
author search
venue search
publication search

ask others

12th Haskell 2019: Berlin, Germany

> Home > Conferences and Workshops > Haskell

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/2019
Richard A. Eisenberg:
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019. ACM 2019, ISBN 978-1-4503-6813-1
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/Devriese19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Devriese19
Dominique Devriese:
Modular effects in Haskell through effect polymorphism and explicit dictionary applications: a new approach and the μVeriFast verifier as a case study. 1-14
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/ScottN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/ScottN19
Ryan G. Scott, Ryan R. Newton:
Generic and flexible defaults for verified, law-abiding type-class instances. 15-29
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/PauwelsKDS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/PauwelsKDS19
Koen Pauwels, Georgios Karachalias, Michiel Derhaeg, Tom Schrijvers:
Bidirectional type class instances. 30-43
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/HallahanXP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/HallahanXP19
William T. Hallahan, Anton Xue, Ruzica Piskac:
G2Q: Haskell constraint solving. 44-57
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/DownenSAJ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/DownenSAJ19
Paul Downen, Zachary Sullivan, Zena M. Ariola, Simon Peyton Jones:
Making a faster Curry with extensional types. 58-70
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/PickeringWK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/PickeringWK19
Matthew Pickering, Nicolas Wu, Csongor Kiss:
Multi-stage programs in context. 71-84
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/PickeringWN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/PickeringWN19
Matthew Pickering, Nicolas Wu, Boldizsár Németh:
Working with source plugins. 85-97
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/SchrijversPWJ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/SchrijversPWJ19
Tom Schrijvers, Maciej Piróg, Nicolas Wu, Mauro Jaskelioff:
Monad transformers and modular algebraic effects: what binds them together. 98-113
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/Ekblad19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Ekblad19
Anton Ekblad:
Scoping monadic relational database queries. 114-124
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/ChristiansenDB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/ChristiansenDB19
Jan Christiansen, Sandra Dylus, Niels Bunkenburg:
Verifying effectful Haskell programs in Coq. 125-138
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/MokhovLL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/MokhovLL19
Andrey Mokhov, Georgy Lukyanov, Jakob Lechner:
Formal verification of spacecraft control programs (experience report). 139-145
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/ErtelARGC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/ErtelARGC19
Sebastian Ertel, Justus Adam, Norman A. Rink, Andrés Goens, Jerónimo Castrillón:
STCLang: state thread composition as a foundation for monadic dataflow parallelism. 146-161
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/Finkbeiner0PS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Finkbeiner0PS19
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
Synthesizing functional reactive programs. 162-175

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.