Journal of Functional Programming

227 posts

Journal of Functional Programming banner
Journal of Functional Programming

Journal of Functional Programming

@journal_of_fp

Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Tweets by @kamatsu8

Katılım Eylül 2017
4 Takip Edilen2K Takipçiler
Journal of Functional Programming
If you or one of your students recently completed a PhD (or Habilitation) in the area of functional programming, please submit the abstract for publication in JFP: simple process, no refereeing, open access, 200+ published to date, deadline 30th Nov 2025. tinyurl.com/jfp-phd-abstra…
English
0
1
0
317
Journal of Functional Programming
Journal of Functional Programming@journal_of_fp·
Congratulations to Fahad Alhabardi, Colm Baston, Daniel Britten, Joris Ceulemans, Lawrence Dunn, Yuning Feng, Kiran Gopinathan, Sebastian Graf, Jason Z. S. Hu, Joomy Korkut, Daniele Pautasso and Jui-Hsuan Wu!
Indonesia
0
0
1
232
Journal of Functional Programming
Litao Zhou, Yaoda Zhou, Qianyong Wan and Bruno C.D.S. Oliveira present a new calculus extending F_≤ (a calculus w/ bounded quantification) with isorecursive types, tackling the tricky combination of subtyping, recursive types, and bounded quantification. cambridge.org/core/journals/…
English
0
5
11
970
Journal of Functional Programming
Journal of Functional Programming@journal_of_fp·
In Education Matters, Peter Chapman reports on the use of Use-Modify-Create scaffolds to teach first-year undergraduate functional programming. This early assessment intervention showed promising improvements to student scores. cambridge.org/core/journals/…
English
0
0
3
252
Journal of Functional Programming
Journal of Functional Programming@journal_of_fp·
In this paper, Reynald Affeldt, Jacques Garrigue and Takafumi Saikawa present a framework embedded inside Rocq for practical equational reasoning about programs with effects using a formalisation of a hierarchy of effects. cambridge.org/core/journals/…
English
0
3
7
571
Journal of Functional Programming
Journal of Functional Programming@journal_of_fp·
Congratulations to Pedro Jorge Fernandes Ângelo, Leonhard Applis, Thiago Felicissimo, Matthías Páll Gissurarson, Harrison Goldstein, Brandon Hewer, Jack Hughes, Eddie Jones, Jesse Sigal, and James Wood!
CY
0
0
0
192