default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Functional Programming, Volume 27

> Home > Journals > Journal of Functional Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 27, January 2017

Theoretical Pearls

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/HouBH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/HouBH17
Kuen-Bang Hou (Favonia), Nick Benton, Robert Harper:
Correctness of compiling polymorphism to dynamic typing. e1

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/KoG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/KoG17
Hsiang-Shang Ko, Jeremy Gibbons:
Programming with ornaments. e2
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/NguyenTH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/NguyenTH17
Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn:
Higher order symbolic execution for contract verification and refutation. e3
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Padovani17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Padovani17
Luca Padovani:
A simple library implementation of binary sessions. e4
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/StefanMMR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/StefanMMR17
Deian Stefan, David Mazières, John C. Mitchell, Alejandro Russo:
Flexible dynamic information flow control in the presence of exceptions. e5
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Bendkowski17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Bendkowski17
Maciej Bendkowski:
Normal-order reduction grammars. e6
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/KammarP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/KammarP17
Ohad Kammar, Matija Pretnar:
No value restriction is needed for algebraic effects and handlers. e7
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/AbelAS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/AbelAS17
Andreas Abel, Stephan Adelsberger, Anton Setzer:
Interactive programming in Agda - Objects and graphical user interfaces. e8
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Dagand17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Dagand17
Pierre-Évariste Dagand:
The essence of ornaments. e9
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/ZilianiS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/ZilianiS17
Beta Ziliani, Matthieu Sozeau:
A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading. e10
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/SergeyVJB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/SergeyVJB17
Ilya Sergey, Dimitrios Vytiniotis, Simon L. Peyton Jones, Joachim Breitner:
Modular, higher order cardinality analysis in theory and practice. e11
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Johnson-FreydDA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Johnson-FreydDA17
Philip Johnson-Freyd, Paul Downen, Zena M. Ariola:
Call-by-name extensionality and confluence. e12
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/UustaluV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/UustaluV17
Tarmo Uustalu, Niccolò Veltri:
Finiteness and rational sequences, constructively. e13
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Stump17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Stump17
Aaron Stump:
The calculus of dependent lambda eliminations. e14

Editorial

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/SwierstraD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/SwierstraD17
Wouter Swierstra, Peter Dybjer:
Special issue on Programming with Dependent Types Editorial. e15

PhD Abstracts

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Hutton17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Hutton17
Graham Hutton:
PhD Abstracts. e16

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/SmallboneJCA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/SmallboneJCA17
Nicholas Smallbone, Moa Johansson, Koen Claessen, Maximilian Algehed:
Quick specifications for the busy programmer. e18

Theoretical Pearls

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/PirogS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/PirogS17
Maciej Piróg, Sam Staton:
Backtracking with cut via a distributive law and left-zero monoids. e17
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/NewFFM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/NewFFM17
Max S. New, Burke Fetscher, Robert Bruce Findler, Jay A. McCarthy:
Fair enumeration combinators. e19

Functional Pearls

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/HuttonB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/HuttonB17
Graham Hutton, Patrick Bahr:
Compiling a 50-year journey. e20

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/RivasJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/RivasJ17
Exequiel Rivas, Mauro Jaskelioff:
Notions of computation as monoids. e21
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/BrandtRL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/BrandtRL17
Jörgen Brandt, Wolfgang Reisig, Ulf Leser:
Computation semantics of the functional scientific workflow language Cuneiform. e22
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/BottaJI17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/BottaJI17
Nicola Botta, Patrik Jansson, Cezar Ionescu:
Contributions to a computational theory of policy advice and avoidability. e23
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/SchultzW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/SchultzW17
Patrick Schultz, Ryan Wisnesky:
Algebraic data integration. e24

PhD Abstracts

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Hutton17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Hutton17a
Graham Hutton:
PhD Abstracts. e25

Research Article

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/SecoFL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/SecoFL17
João Costa Seco, Paulo Ferreira, Hugo Lourenço:
Capability-based localization of distributed and heterogeneous queries. e26
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Fegaras17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Fegaras17
Leonidas Fegaras:
An algebra for distributed Big Data analytics. e27

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.