default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Functional Programming, Volume 28
Volume 28, 2018
- Joachim Breitner:
The adequacy of Launchbury's natural semantics for lazy evaluation. e1 - Sheng Chen, Martin Erwig
:
Systematic identification and communication of type errors. e2 - Paul Downen, Zena M. Ariola:
A tutorial on computational classical logic and the sequent calculus. e3 - Cameron Swords, Amr Sabry, Sam Tobin-Hochstadt:
An extended account of contract monitoring strategies as patterns of communication. e4
- Marco T. Morazán:
Infusing an HtDP-based CS1 with distributed programming using functional video games. e5
- Gabriele Keller, Fritz Henglein:
Editorial for the Special Issue on Parallel and Concurrent Functional Programming. e6
- Philipp Haller, Heather Miller, Normen Müller:
A programming model and foundation for lineage-based distributed computation. e7
- James Cheney, Torsten Grust:
Special Issue on Programming Languages for Big Data Editorial. e8
- Pierre-Évariste Dagand, Nicolas Tabareau, Éric Tanter:
Foundations of dependent interoperability. e9
- Amir Shaikhha, Mohammad Dashti, Christoph Koch:
Push versus pull-based loop fusion in query engines. e10 - Frédéric Blanqui:
Size-based termination of higher-order rewriting. e11 - Jesper Cockx, Dominique Devriese:
Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory. e12 - Eric L. Seidel, Ranjit Jhala, Westley Weimer:
Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong). e13
- Ralf Hinze, Clare Martin:
Batcher's odd-even merging network revealed. e14
- Kazutaka Matsuda, Meng Wang:
Applicative bidirectional programming: Mixing lenses and semantic bidirectionalization. e15 - Timothy A. K. Zakian, Trevor L. McDonell, Matteo Cimini, Ryan R. Newton:
Ghostbuster: A tool for simplifying and converting GADTs. e16 - Graham Hutton:
PhD Abstracts. e17 - Thomas Gilray, Michael D. Adams, Matthew Might:
Abstract allocation as a unified approach to polyvariance in control-flow analyses. e18
- Ralf Hinze:
On constructing 2-3 trees. e19
- Ralf Jung, Robbert Krebbers, Jacques-Henri Jourdan, Ales Bizjak, Lars Birkedal, Derek Dreyer:
Iris from the ground up: A modular foundation for higher-order concurrent separation logic. e20
- Ralf Hinze, Clare Martin:
Parberry's pairwise sorting network revealed. e21
- Andreas Rossberg:
1ML - Core and modules united. e22
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 2025-03-01 15:13 CET 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:
