default search action

combined dblp search
author search
venue search
publication search

ask others

Haskell 2015: Vancouver, BC, Canada

> Home > Conferences and Workshops > Haskell

Refine list

refinements active!

zoomed in on 19 of 19 records

view refined list in

export refined list as

showing all 19 records

refine by search term

refine by author

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/2015
Ben Lippmeier:
Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver, BC, Canada, September 3-4, 2015. ACM 2015, ISBN 978-1-4503-3808-0
no results

Type Checking

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/Diatchki15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Diatchki15
Iavor S. Diatchki:
Improving Haskell types with SMT. 1-10
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/Gundry15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Gundry15
Adam Gundry:
A typechecker plugin for units of measure: domain-specific constraint solving in GHC Haskell. 11-22
no results

Verification

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/FarmerSG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/FarmerSG15
Andrew Farmer, Neil Sculthorpe, Andy Gill:
Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs. 23-34
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/Breitner15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Breitner15
Joachim Breitner:
Formally proving a compiler transformation safe. 35-46
no results

Graphics and Distribution

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/PerezN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/PerezN15
Ivan Perez, Henrik Nilsson:
Bridging the GUI gap with reactive values and relations. 47-58
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/GillSDEFGRSS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/GillSDEFGRSS15
Andy Gill, Neil Sculthorpe, Justin Dawson, Aleksander Eskilson, Andrew Farmer, Mark Grebe, Jeffrey Rosenbluth, Ryan Scott, James Stanton:
The remote monad design pattern. 59-70
no results

Generics

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/Morris15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Morris15
J. Garrett Morris:
Variations on variants. 71-81
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/OliveiraMY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/OliveiraMY15
Bruno C. d. S. Oliveira, Shin-Cheng Mu, Shu-Hung You:
Modular reifiable matching: a list-of-functors approach to two-level types. 82-93
no results

Monads and Comonads

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/KiselyovI15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/KiselyovI15
Oleg Kiselyov, Hiromi Ishii:
Freer monads, more extensible effects. 94-105
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/Foner15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Foner15
Kenneth Foner:
Functional pearl: getting a quick fix on comonads. 106-117
no results

Type Classes

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/StolarekJE15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/StolarekJE15
Jan Stolarek, Simon L. Peyton Jones, Richard A. Eisenberg:
Injective type families for Haskell. 118-128
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/SerranoHB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/SerranoHB15
Alejandro Serrano, Jurriaan Hage, Patrick Bahr:
Type families with class, type classes with family. 129-140
no results

Concurrency and Parallelism

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/WalkerR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/WalkerR15
Michael Walker, Colin Runciman:
Déjà Fu: a concurrency testing library for Haskell. 141-152
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/TrillaR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/TrillaR15
José Manuel Calderón Trilla, Colin Runciman:
Improving implicit parallelism. 153-164
no results

Probabilistic and Linear Programming

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/ScibiorGG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/ScibiorGG15
Adam Scibior, Zoubin Ghahramani, Andrew D. Gordon:
Practical probabilistic programming with monads. 165-176
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/Polakow15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Polakow15
Jeff Polakow:
Embedding a full linear Lambda calculus in Haskell. 177-188
no results

Code Generation

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/ElliottPWHBSSL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/ElliottPWHBSSL15
Trevor Elliott, Lee Pike, Simon Winwood, Patrick C. Hickey, James Bielman, Jamey Sharp, Eric L. Seidel, John Launchbury:
Guilt free ivory. 189-200
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/McDonellCGN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/McDonellCGN15
Trevor L. McDonell, Manuel M. T. Chakravarty, Vinod Grover, Ryan R. Newton:
Type-safe runtime code generation: accelerate to LLVM. 201-212
no results

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.