Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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
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-05-08 01:11 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:
