More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Functional Programming, Volume 31

> 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 31, 2021

Abstract

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Hutton21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Hutton21
Graham Hutton:
PhD Abstracts. e1
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/KiselyovMS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/KiselyovMS21
Oleg Kiselyov, Shin-Cheng Mu, Amr Sabry:
Not by equations alone: Reasoning with extensible effects. e2
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/AndersenS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/AndersenS21
Kristoffer Just Arndal Andersen, Ilya Sergey:
Protocol combinators for modeling, testing, and execution of distributed systems. e3
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/ElsmanH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/ElsmanH21
Martin Elsman, Niels Hallenberg:
Integrating region memory management and tag-free generational garbage collection. e4
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/BreitnerSLRWCW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/BreitnerSLRWCW21
Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, Joshua M. Cohen, Stephanie Weirich:
Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code. e5
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/StrydonckPD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/StrydonckPD21
Thomas Van Strydonck, Frank Piessens, Dominique Devriese:
Linear capabilities for fully abstract compilation of separation-logic-verified code. e6
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Morihata21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Morihata21
Akimasa Morihata:
Lambda calculus with algebraic simplification for reduction parallelisation: Extended study. e7
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/VezzosiMA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/VezzosiMA21
Andrea Vezzosi, Anders Mörtberg, Andreas Abel:
Cubical Agda: A dependently typed programming language with univalence and higher inductive types. e8
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/SkorstengaardDB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/SkorstengaardDB21
Lau Skorstengaard, Dominique Devriese, Lars Birkedal:
StkTokens: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities. e9
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/ErwigK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/ErwigK21
Martin Erwig, Prashant Kumar:
Explainable dynamic programming. e10
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Sterling21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Sterling21
Jonathan Sterling:
Higher order functions and Brouwer's thesis. e11
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Filinski21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Filinski21
Andrzej Filinski:
Proof-directed program transformation: A functional account of efficient regular expression matching. e12

Functional Pearl

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Petricek21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Petricek21
Tomas Petricek:
Composable data visualizations. e13

Abstract

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

Education Matters

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Gibbons21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Gibbons21
Jeremy Gibbons:
How to design co-programs. e15

Editorial

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Krishnamurthi21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Krishnamurthi21
Shriram Krishnamurthi:
What is an education paper? e16

Research Article

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/AffeldtGNS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/AffeldtGNS21
Reynald Affeldt, Jacques Garrigue, David Nowak, Takafumi Saikawa:
A trustful monad for axiomatic reasoning with probability and nondeterminism. e17
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/SisonM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/SisonM21
Robert Sison, Toby Murray:
Verified secure compilation for mixed-sensitivity concurrent programs. e18
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/ShivkumarMZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/ShivkumarMZ21
Bhargav Shivkumar, Jeffrey C. Murphy, Lukasz Ziarek:
Real-time MLton: A Standard ML runtime for real-time functional programs. e19
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/SiekTW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/SiekTW21
Jeremy G. Siek, Peter Thiemann, Philip Wadler:
Blame and coercion: Together again for the first time. e20
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/NewLA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/NewLA21
Max S. New, Daniel R. Licata, Amal Ahmed:
Gradual type theory. e21
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/AllaisACMM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/AllaisACMM21
Guillaume Allais, Robert Atkey, James Chapman, Conor McBride, James McKinna:
A type- and scope-safe universe of syntaxes with binding: their semantics and proofs. e22

Education Matters

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Achten21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Achten21
Peter Achten:
Segments: An alternative rainfall problem. e23

Research Article

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/BottaBJR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/BottaBJR21
Nicola Botta, Nuria Brede, Patrik Jansson, Tim Richter:
Extensional equality preservation and verified generic programming. e24
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/OConnorCRJAKMSK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/OConnorCRJAKMSK21
Liam O'Connor, Zilin Chen, Christine Rizkallah, Vincent Jackson, Sidney Amani, Gerwin Klein, Toby Murray, Thomas Sewell, Gabriele Keller:
Cogent: uniqueness types and certifying compilation. e25
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/BredeB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/BredeB21
Nuria Brede, Nicola Botta:
On the correctness of monadic backward induction. e26
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/QuGG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/QuGG21
Weihao Qu, Marco Gaboardi, Deepak Garg:
Relational cost analysis in a functional-imperative setting. e27
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/HuangZO21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/HuangZO21
Xuejing Huang, Jinxu Zhao, Bruno C. d. S. Oliveira:
Taming the Merge Operator. e28

Functional Pearl

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/BirdM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/BirdM21
Richard S. Bird, Shin-Cheng Mu:
A greedy algorithm for dropping digits. e29

Research Article

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/SiekC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/SiekC21
Jeremy G. Siek, Tianyu Chen:
Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi. e30

Functional Pearl

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/MuC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/MuC21
Shin-Cheng Mu, Tsung-Ju Chiang:
Longest segment of balanced parentheses: an exercise in program inversion in a segment problem. e31

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.