default search action

combined dblp search
author search
venue search
publication search

ask others

11th Haskell 2018: St. Louis, MO, USA

> 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/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/2018
Nicolas Wu:
Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2018, St. Louis, MO, USA, September 27-17, 2018. ACM 2018, ISBN 978-1-4503-5835-4

Testing

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/MistaRH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/MistaRH18
Agustín Mista, Alejandro Russo, John Hughes:
Branching processes for QuickCheck generators. 1-13
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/Breitner18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Breitner18
Joachim Breitner:
A promise checked is a promise kept: inspection testing. 14-25

Performance

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/HandleyH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/HandleyH18
Martin A. T. Handley, Graham Hutton:
AutoBench: comparing the time performance of Haskell programs. 26-37
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/SunF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/SunF18
Marilyn Sun, Kathleen Fisher:
Autobahn 2.0: minimizing bangs while maintaining performance (system demonstration). 38-40

Generic Programming

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/SerranoM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/SerranoM18
Alejandro Serrano, Victor Cacciari Miraldo:
Generic programming of all kinds. 41-54
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/BlondalLS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/BlondalLS18
Baldur Blöndal, Andres Löh, Ryan Scott:
Deriving via: or, how to turn hand-written instances into an anti-pattern. 55-67

Type Classes

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/MartinezJL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/MartinezJL18
Guido Martínez, Mauro Jaskelioff, Guido De Luca:
Improving typeclass relations by being open. 68-80
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/WinantD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/WinantD18
Thomas Winant, Dominique Devriese:
Coherent explicit dictionary application for Haskell. 81-93

Type Extensions

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/EisenbergBJ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/EisenbergBJ18
Richard A. Eisenberg, Joachim Breitner, Simon Peyton Jones:
Type variables in patterns. 94-105
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/OtwaniE18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/OtwaniE18
Divesh Otwani, Richard A. Eisenberg:
The Thoralf plugin: for your fancy type needs. 106-118

Pearls

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/Noonan18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Noonan18
Matt Noonan:
Ghosts of departed proofs (functional pearl). 119-131
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/VazouBKHH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/VazouBKHH18
Niki Vazou, Joachim Breitner, Rose Kunkel, David Van Horn, Graham Hutton:
Theorem proving for all: equational reasoning in liquid Haskell (functional pearl). 132-144

Domain Specific Languages

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/Barenz018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Barenz018
Manuel Bärenz, Ivan Perez:
Rhine: FRP with type-level clocks. 145-157
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/MatsudaW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/MatsudaW18
Kazutaka Matsuda, Meng Wang:
Embedding invertible languages with binders: a case of the FliPpr language. 158-171

Experience Reports

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/HanH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/HanH18
Dong Han, Tao He:
A high-performance multicore IO manager based on libuv (experience report). 172-178
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/Gissurarson18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Gissurarson18
Matthías Páll Gissurarson:
Suggesting valid hole fits for typed-holes (experience report). 179-185

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.