Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHaskell 2015: Vancouver, BC, Canada
- 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
- Iavor S. Diatchki:
Improving Haskell types with SMT. 1-10 - Adam Gundry:
A typechecker plugin for units of measure: domain-specific constraint solving in GHC Haskell. 11-22
Verification
- Andrew Farmer, Neil Sculthorpe, Andy Gill:
Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs. 23-34 - Joachim Breitner
:
Formally proving a compiler transformation safe. 35-46
Graphics and Distribution
- Ivan Perez, Henrik Nilsson:
Bridging the GUI gap with reactive values and relations. 47-58 - 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
- J. Garrett Morris:
Variations on variants. 71-81 - 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
- Oleg Kiselyov, Hiromi Ishii:
Freer monads, more extensible effects. 94-105 - Kenneth Foner:
Functional pearl: getting a quick fix on comonads. 106-117
Type Classes
- Jan Stolarek, Simon L. Peyton Jones, Richard A. Eisenberg:
Injective type families for Haskell. 118-128 - Alejandro Serrano, Jurriaan Hage, Patrick Bahr:
Type families with class, type classes with family. 129-140
Concurrency and Parallelism
- Michael Walker, Colin Runciman:
Déjà Fu: a concurrency testing library for Haskell. 141-152 - José Manuel Calderón Trilla, Colin Runciman:
Improving implicit parallelism. 153-164
Probabilistic and Linear Programming
- Adam Scibior, Zoubin Ghahramani, Andrew D. Gordon:
Practical probabilistic programming with monads. 165-176 - Jeff Polakow:
Embedding a full linear Lambda calculus in Haskell. 177-188
Code Generation
- Trevor Elliott, Lee Pike, Simon Winwood, Patrick C. Hickey, James Bielman, Jamey Sharp, Eric L. Seidel, John Launchbury:
Guilt free ivory. 189-200 - Trevor L. McDonell, Manuel M. T. Chakravarty, Vinod Grover, Ryan R. Newton:
Type-safe runtime code generation: accelerate to LLVM. 201-212
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.
last updated on 2024-06-18 21:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
