ICFP Workshops 2024
29th ACM SIGPLAN International Conference on Functional Programming (ICFP 2024)
Powered by
Conference Publishing Consulting

2nd ACM SIGPLAN International Workshop on Functional Software Architecture (FUNARCH 2024), September 6, 2024, Milan, Italy

FUNARCH 2024 – Preliminary Table of Contents

Contents - Abstracts - Authors

2nd ACM SIGPLAN International Workshop on Functional Software Architecture (FUNARCH 2024)


Title Page
Message from the Chairs

Functional Architecture in Practice

Architecting Functional Programs (Keynote)
Marco SampellegriniORCID logo
(Independent, n.n.)
Article Search
F3: A Compiler for Feature Engineering
Weixi Ma ORCID logo, Siyu Wang ORCID logo, Arnaud Venet ORCID logo, Junhua Gu ORCID logo, Subbu Subramanian ORCID logo, Rocky Liu ORCID logo, Daniel P. Friedman ORCID logo, and Yafei Yang ORCID logo
(Meta, USA; Indiana University, USA)
Article Search

Formal Methods

Design and Implementation of a Verified Interpreter for Additive Manufacturing Programs (Experience Report)
Matthew Sottile ORCID logo and Mohit Tekriwal ORCID logo
(Lawrence Livermore National Laboratory, USA)
Article Search
Applying Continuous Formal Methods to Cardano (Experience Report)
James Chapman ORCID logo, Arnaud Bailly ORCID logo, and Polina Vinogradova ORCID logo
(IOHK, United Kingdom; IOHK, France; IOHK, Canada)
Article Search

From Programming to Architecture

Continuations: What Have They Ever Done for Us? (Experience Report)
Marc KaufmannORCID logo and Bogdan Popa ORCID logo
(Central European University, Austria; Independent, Romania)
Article Search
Bidirectional Data Transformations
Marcus Crestani ORCID logo, Markus Schlegel ORCID logo, and Marco Schneider ORCID logo
(Active Group, Germany)
Article Search

proc time: 0.01