Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th Haskell 2018: St. Louis, MO, USA
- Nicolas Wu:
Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2018, St. Louis, MO, USA, September 27-17, 2018. ACM 2018, ISBN 978-1-4503-5835-4
Testing
- Agustín Mista, Alejandro Russo
, John Hughes:
Branching processes for QuickCheck generators. 1-13 - Joachim Breitner:
A promise checked is a promise kept: inspection testing. 14-25
Performance
- Martin A. T. Handley, Graham Hutton:
AutoBench: comparing the time performance of Haskell programs. 26-37 - Marilyn Sun, Kathleen Fisher:
Autobahn 2.0: minimizing bangs while maintaining performance (system demonstration). 38-40
Generic Programming
- Alejandro Serrano, Victor Cacciari Miraldo:
Generic programming of all kinds. 41-54 - Baldur Blöndal, Andres Löh, Ryan Scott:
Deriving via: or, how to turn hand-written instances into an anti-pattern. 55-67
Type Classes
- Guido Martínez, Mauro Jaskelioff, Guido De Luca:
Improving typeclass relations by being open. 68-80 - Thomas Winant, Dominique Devriese:
Coherent explicit dictionary application for Haskell. 81-93
Type Extensions
- Richard A. Eisenberg, Joachim Breitner, Simon Peyton Jones:
Type variables in patterns. 94-105 - Divesh Otwani, Richard A. Eisenberg:
The Thoralf plugin: for your fancy type needs. 106-118
Pearls
- Matt Noonan:
Ghosts of departed proofs (functional pearl). 119-131 - Niki Vazou, Joachim Breitner, Rose Kunkel, David Van Horn, Graham Hutton:
Theorem proving for all: equational reasoning in liquid Haskell (functional pearl). 132-144
Domain Specific Languages
- Manuel Bärenz, Ivan Perez:
Rhine: FRP with type-level clocks. 145-157 - Kazutaka Matsuda, Meng Wang:
Embedding invertible languages with binders: a case of the FliPpr language. 158-171
Experience Reports
- Dong Han, Tao He:
A high-performance multicore IO manager based on libuv (experience report). 172-178 - Matthías Páll Gissurarson:
Suggesting valid hole fits for typed-holes (experience report). 179-185
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-07-28 03:00 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:
