Proceedings of the Eighth International Symposium on Haskell
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Ben Lippmeier
Proceedings of the Eighth International Symposium on Haskell
Haskell, 2015.

FP
DBLP
Scholar
DOI
Full names Links ISxN
@proceedings{Haskell-2015,
	doi           = "10.1145/2804302",
	editor        = "Ben Lippmeier",
	isbn          = "978-1-4503-3808-0",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Eighth International Symposium on Haskell}",
	year          = 2015,
}

Contents (18 items)

Haskell-2015-Diatchki #haskell #smt
Improving Haskell types with SMT (ISD), pp. 1–10.
Haskell-2015-Gundry #constraints #haskell #plugin #theorem proving
A typechecker plugin for units of measure: domain-specific constraint solving in GHC Haskell (AG), pp. 11–22.
Haskell-2015-FarmerSG #equation #haskell #reasoning #source code #tool support
Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs (AF, NS, AG), pp. 23–34.
Haskell-2015-Breitner #compilation #proving
Formally proving a compiler transformation safe (JB), pp. 35–46.
Haskell-2015-PerezN #user interface
Bridging the GUI gap with reactive values and relations (IP0, HN), pp. 47–58.
Haskell-2015-GillSDEFGRSS #design pattern #monad
The remote monad design pattern (AG, NS, JD, AE, AF, MG, JR, RS, JS), pp. 59–70.
Haskell-2015-Morris
Variations on variants (JGM), pp. 71–81.
Haskell-2015-OliveiraMY #approach #composition
Modular reifiable matching: a list-of-functors approach to two-level types (BCdSO, SCM, SHY), pp. 82–93.
Haskell-2015-KiselyovI #monad
Freer monads, more extensible effects (OK, HI), pp. 94–105.
Haskell-2015-Foner #functional #monad
Functional pearl: getting a quick fix on comonads (KF), pp. 106–117.
Haskell-2015-StolarekJE #haskell #injection #product line
Injective type families for Haskell (JS, SLPJ, RAE), pp. 118–128.
Haskell-2015-SerranoHB #product line
Type families with class, type classes with family (AS0, JH, PB), pp. 129–140.
Haskell-2015-WalkerR #concurrent #haskell #library #testing
Déjà Fu: a concurrency testing library for Haskell (MW0, CR), pp. 141–152.
Haskell-2015-TrillaR #parallel
Improving implicit parallelism (JMCT, CR), pp. 153–164.
Haskell-2015-ScibiorGG #monad #probability #programming
Practical probabilistic programming with monads (AS, ZG, ADG), pp. 165–176.
Haskell-2015-Polakow #haskell #linear #λ-calculus
Embedding a full linear Lambda calculus in Haskell (JP), pp. 177–188.
Haskell-2015-ElliottPWHBSSL
Guilt free ivory (TE, LP, SW, PCH, JB, JS, ELS, JL), pp. 189–200.
Haskell-2015-McDonellCGN #code generation #runtime #type safety
Type-safe runtime code generation: accelerate to LLVM (TLM, MMTC, VG, RRN), pp. 201–212.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.