default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Functional Programming, Volume 33

> 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 33, 2023

Research Article

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/ChanLB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/ChanLB23
Jonathan Chan, Yufeng Li, William J. Bowman:
Is sized typing for Coq practical? e1

Functional Pearl

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Danvy23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Danvy23
Olivier Danvy:
Folding left and right matters: Direct style, accumulators, and continuations. e2
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Danvy23a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Danvy23a
Olivier Danvy:
Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant - ERRATUM. e3

Research Article

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/DownenA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/DownenA23
Paul Downen, Zena M. Ariola:
Classical (co)recursion: Mechanics. e4
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Hutton23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Hutton23
Graham Hutton:
Programming language semantics: It's easy as 1,2,3.
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Hutton23a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Hutton23a
Graham Hutton:
PhD Abstracts.
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/JanssonJ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/JanssonJ23
Julia Jansson, Patrik Jansson:
Level-p-complexity of Boolean functions using thinning, memoization, and polynomials.
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Hinze23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Hinze23
Ralf Hinze:
Certified, total serialisers with an application to Huffman encoding.
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Hutton23b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Hutton23b
Graham Hutton:
PhD Abstracts.
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/ZhangTXWH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/ZhangTXWH23
Hanliang Zhang, Wenhao Tang, Ruifeng Xie, Meng Wang, Zhenjiang Hu:
Contract lenses: Reasoning about bidirectional programs via calculation.
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/HuJP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/HuJP23
Jason Z. S. Hu, Junyoung Jang, Brigitte Pientka:
Normalization by evaluation for modal dependent type theory.
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/MoyF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/MoyF23
Cameron Moy, Matthias Felleisen:
Trace contracts.
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/BhaskarS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/BhaskarS23
Siddharth Bhaskar, Jakob Grue Simonsen:
Read/write factorizable programs.
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Swierstra23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Swierstra23
Wouter Swierstra:
A correct-by-construction conversion from lambda calculus to combinatory logic.
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/SulzmannW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/SulzmannW23
Martin Sulzmann, Stefan Wehr:
A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go.

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.