default search action

combined dblp search
author search
venue search
publication search

ask others

Haskell 2014: Gothenburg, Sweden

> 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/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/2014
Wouter Swierstra:
Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, Gothenburg, Sweden, September 4-5, 2014. ACM 2014, ISBN 978-1-4503-3041-1

Effects

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/WuSH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/WuSH14
Nicolas Wu, Tom Schrijvers, Ralf Hinze:
Effect handlers in scope. 1-12
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/OrchardP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/OrchardP14
Dominic A. Orchard, Tomas Petricek:
Embedding effect systems in Haskell. 13-24

Education and experience

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/BlanchetteHNNT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/BlanchetteHNNT14
Jasmin Christian Blanchette, Lars Hupel, Tobias Nipkow, Lars Noschinski, Dmitriy Traytel:
Experience report: the next 1100 Haskell programmers. 25-30
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/MuranushiE14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/MuranushiE14
Takayuki Muranushi, Richard A. Eisenberg:
Experience report: type-checking polymorphic units for astrophysics research in Haskell. 31-38

Correctness

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/VazouSJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/VazouSJ14
Niki Vazou, Eric L. Seidel, Ranjit Jhala:
LiquidHaskell: experience with refinement types in the real world. 39-51
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/Pike14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Pike14
Lee Pike:
SmartCheck: automatic and efficient counterexample reduction and generalization. 53-64

Concurrency

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/MaierST14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/MaierST14
Patrick Maier, Robert J. Stewart, Phil Trinder:
The HdpH DSLs for scalable reliable computation. 65-76
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/OkabeM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/OkabeM14
Kiwamu Okabe, Takayuki Muranushi:
Systems demonstration: writing NetBSD sound drivers in Haskell. 77-78

Webprogramming

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/EkbladC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/EkbladC14
Anton Ekblad, Koen Claessen:
A seamless, client-centric programming model for type safe web applications. 79-89
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/LevyTSM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/LevyTSM14
Amit A. Levy, David Terei, Deian Stefan, David Mazières:
Demo proposal: making web applications -XSafe. 91
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/StefanLRM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/StefanLRM14
Deian Stefan, Amit Levy, Alejandro Russo, David Mazières:
Building secure systems with LIO (demo). 93-94

Types

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/EisenbergS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/EisenbergS14
Richard A. Eisenberg, Jan Stolarek:
Promoting functions to type families in Haskell. 95-106
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/Morris14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Morris14
J. Garrett Morris:
A simple semantics for Haskell overloading. 107-118

Parsing

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/Chakravarty14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Chakravarty14
Manuel M. T. Chakravarty:
Foreign inline code: systems demonstration. 119-120
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/AdamsA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/AdamsA14
Michael D. Adams, Ömer S. Agacan:
Indentation-sensitive parsing for Parsec. 121-132

Reflection

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/PloegK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/PloegK14
Atze van der Ploeg, Oleg Kiselyov:
Reflection without remorse: revealing a hidden sequence to speed up monadic reflection. 133-144

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.