default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Functional Programming, Volume 35

> 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 35, 2025

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Hutton25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Hutton25
Graham Hutton:
PhD Abstracts.
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Yorgey25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Yorgey25
Brent Yorgey:
You could have invented Fenwick trees.
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/AffeldtGS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/AffeldtGS25
Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa:
A practical formalization of monadic equational reasoning in dependent-type theory.
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Yorgey25a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Yorgey25a
Brent Yorgey:
Review of "Haskell in Depth" by Vitaly Bragilevsky, Manning Publications, 2021.
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/ZhouZWO25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/ZhouZWO25
Litao Zhou, Yaoda Zhou, Qianyong Wan, Bruno C. d. S. Oliveira:
Recursive subtyping for all.
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Gibbons25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Gibbons25
Jeremy Gibbons:
Turner, Bird, Eratosthenes: An eternal burning thread.
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Oliveira25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Oliveira25
José Nuno Oliveira:
How much is in a square? Calculating functional programs with squares.
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Chapman25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Chapman25
Peter Chapman:
Experiences of early assessment to teach functional programming.
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/BernardyJ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/BernardyJ25
Jean-Philippe Bernardy, Patrik Jansson:
Domain-specific tensor languages.
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/HinzeM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/HinzeM25
Ralf Hinze, Dan Marsden:
The graphical theory of monads.
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/DingesH25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/DingesH25
Alexander Dinges, Ralf Hinze:
Binary search - think positive.
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Asai25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Asai25
Kenichi Asai:
OCaml Blockly.

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.