![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Journal of Functional Programming, Volume 27
Volume 27, January 2017
- Kuen-Bang Hou (Favonia)
, Nick Benton, Robert Harper:
Correctness of compiling polymorphism to dynamic typing. e1
- Hsiang-Shang Ko
, Jeremy Gibbons:
Programming with ornaments. e2 - Phuc C. Nguyen, Sam Tobin-Hochstadt
, David Van Horn
:
Higher order symbolic execution for contract verification and refutation. e3 - Luca Padovani
:
A simple library implementation of binary sessions. e4 - Deian Stefan, David Mazières, John C. Mitchell
, Alejandro Russo
:
Flexible dynamic information flow control in the presence of exceptions. e5 - Maciej Bendkowski:
Normal-order reduction grammars. e6 - Ohad Kammar, Matija Pretnar
:
No value restriction is needed for algebraic effects and handlers. e7 - Andreas Abel, Stephan Adelsberger
, Anton Setzer:
Interactive programming in Agda - Objects and graphical user interfaces. e8 - Pierre-Évariste Dagand:
The essence of ornaments. e9 - Beta Ziliani, Matthieu Sozeau:
A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading. e10 - Ilya Sergey
, Dimitrios Vytiniotis, Simon L. Peyton Jones, Joachim Breitner:
Modular, higher order cardinality analysis in theory and practice. e11 - Philip Johnson-Freyd
, Paul Downen
, Zena M. Ariola:
Call-by-name extensionality and confluence. e12 - Tarmo Uustalu
, Niccolò Veltri
:
Finiteness and rational sequences, constructively. e13 - Aaron Stump:
The calculus of dependent lambda eliminations. e14
- Wouter Swierstra, Peter Dybjer:
Special issue on Programming with Dependent Types Editorial. e15
- Graham Hutton:
PhD Abstracts. e16
- Nicholas Smallbone, Moa Johansson, Koen Claessen, Maximilian Algehed:
Quick specifications for the busy programmer. e18
- Maciej Piróg
, Sam Staton:
Backtracking with cut via a distributive law and left-zero monoids. e17 - Max S. New, Burke Fetscher, Robert Bruce Findler, Jay A. McCarthy:
Fair enumeration combinators. e19
- Graham Hutton
, Patrick Bahr
:
Compiling a 50-year journey. e20
- Exequiel Rivas
, Mauro Jaskelioff:
Notions of computation as monoids. e21 - Jörgen Brandt, Wolfgang Reisig, Ulf Leser:
Computation semantics of the functional scientific workflow language Cuneiform. e22 - Nicola Botta, Patrik Jansson
, Cezar Ionescu:
Contributions to a computational theory of policy advice and avoidability. e23 - Patrick Schultz, Ryan Wisnesky:
Algebraic data integration. e24
- Graham Hutton:
PhD Abstracts. e25
- João Costa Seco
, Paulo Ferreira, Hugo Lourenço:
Capability-based localization of distributed and heterogeneous queries. e26 - Leonidas Fegaras:
An algebra for distributed Big Data analytics. e27
![](https://dblp.org/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.