![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Journal 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.