Stop the war!Остановите войну!
for scientists:
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
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-04-15 20:34 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:
