default search action

combined dblp search
author search
venue search
publication search

ask others

Haskell 2015: Vancouver, BC, Canada

> Home > Conferences and Workshops > Haskell

SPARQL queries

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/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

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

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

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

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

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

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

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

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

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

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.