![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Journal of Functional Programming, Volume 32
Volume 32, 2022
Editorial
- Jeremy Gibbons, Shriram Krishnamurthi
:
Editorial. e1
Abstract
- Graham Hutton:
PhD Abstracts. e2
Editorial
- Derek Dreyer, Benjamin C. Pierce:
On being a PhD student of Robert Harper. e3
Research Article
- Hideya Iwasaki
, Kento Emoto, Akimasa Morihata
, Kiminori Matsuzaki, Zhenjiang Hu:
Fregel: a functional domain-specific language for vertex-centric large-scale graph processing. e4
Functional Pearl
- Ralf Hinze
, Colin Runciman
:
Super-naturals. e5
Research Article
- Klaas Pruiksma
, Frank Pfenning:
Back to futures. e6
Abstract
- Graham Hutton:
PhD Abstracts. e7
Research Article
- Norman Danner
, Daniel R. Licata:
Denotational semantics as a foundation for cost recurrence extraction for functional languages. e8 - Stefano Perna, Val Tannen, Limsoon Wong
:
Iterating on multiple collections in synchrony. e9
Functional Pearl
- Wouter Swierstra
:
A well-known representation of monoids and its application to the function 'vector reverse'. e10
Research Article
- Danil Annenkov
, Mikkel Milo
, Jakob Botsch Nielsen
, Bas Spitters
:
Extracting functional programs from Coq, in Coq. e11 - Paulette Koronkevich
, Ramon Rakow, Amal Ahmed
, William J. Bowman
:
ANF preserves dependent types up to extensional equality. e12
Tutorial Paper
- Olivier Danvy
:
Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant. e13
Research Article
- John Peter Campora III
, Sheng Chen
, Martin Erwig, Eric Walkingshaw:
Migrating gradual types. e14 - Patrick Bahr
:
Modal FRP for all: Functional reactive programming without space leaks in Haskell. e15 - Cheng-En Chuang
, Grant Iraci
, Lukasz Ziarek:
Send to me first: Priority in synchronous message-passing. e16
Abstract
- Graham Hutton:
PhD Abstracts. e17
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.