default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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
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.
last updated on 2025-12-05 22:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
