Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

9th Haskell 2016: Nara, Japan

> 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/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/2016
Geoffrey Mainland:
Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016. ACM 2016, ISBN 978-1-4503-4434-0

Testing

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/BraquehaisR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/BraquehaisR16
Rudy Braquehais, Colin Runciman:
FitSpec: refining property sets for functional testing. 1-12
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/GriecoCB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/GriecoCB16
Gustavo Grieco, Martín Ceresa, Pablo Buiras:
QuickFuzz: an automatic random fuzzer for common file formats. 13-20

FRP

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/YallopL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/YallopL16
Jeremy Yallop, Hai Liu:
Causal commutative arrows revisited. 21-32
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/PerezBN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/PerezBN16
Ivan Perez, Manuel Bärenz, Henrik Nilsson:
Functional reactive programming, refactored. 33-44

Functors

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/Gibbons16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Gibbons16
Jeremy Gibbons:
Free delivery (functional pearl). 45-50
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/ChauhanKY16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/ChauhanKY16
Satvik Chauhan, Piyush P. Kurur, Brent A. Yorgey:
How to twist pointers without breaking them. 51-61

Web Technology

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/Ekblad16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Ekblad16
Anton Ekblad:
High-performance client-side web applications through Haskell EDSLs. 62-73
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/Yamamoto16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Yamamoto16
Kazuhiko Yamamoto:
Experience report: developing high performance HTTP/2 server in Haskell. 74-79

Language Features

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/PickeringEJE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/PickeringEJE16
Matthew Pickering, Gergo Érdi, Simon Peyton Jones, Richard A. Eisenberg:
Pattern synonyms. 80-91
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/MarlowJKM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/MarlowJKM16
Simon Marlow, Simon Peyton Jones, Edward Kmett, Andrey Mokhov:
Desugaring Haskell's do-notation into applicative operations. 92-104

Strictness and STM

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/LeYF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/LeYF16
Matthew Le, Ryan Yates, Matthew Fluet:
Revisiting software transactional memory in Haskell. 105-113
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/WangNF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/WangNF16
Yisu Remy Wang, Diogenes Nunez, Kathleen Fisher:
Autobahn: using genetic algorithms to infer strictness annotations. 114-126

Types

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/AugustssonA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/AugustssonA16
Lennart Augustsson, Mårten Ågren:
Experience report: types for a relational algebra library. 127-132
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/LindleyM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/LindleyM16
Sam Lindley, J. Garrett Morris:
Embedding session types in Haskell. 133-145

Monads

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/PloegCB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/PloegCB16
Atze van der Ploeg, Koen Claessen, Pablo Buiras:
The Key monad: type-safe unconstrained dynamic typing. 146-157
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/BrackerN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/BrackerN16
Jan Bracker, Henrik Nilsson:
Supermonads: one notion to bind them all. 158-169

Abstractions that Scale

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/MokhovMJM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/MokhovMJM16
Andrey Mokhov, Neil Mitchell, Simon Peyton Jones, Simon Marlow:
Non-recursive make considered harmful: build systems at scale. 170-181
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/DexterLC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/DexterLC16
Philip Dexter, Yu David Liu, Kenneth Chiu:
Lazy graph processing in Haskell. 182-192

a service of

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.