Login / Signup
FUNARCH
Publications
2024
Marc Kaufmann
,
Bogdan Popa
Continuations: What Have They Ever Done for Us? (Experience Report).
FUNARCH
(2024)
Proceedings of the 2nd ACM SIGPLAN International Workshop on Functional Software Architecture, FUNARCH 2024, Milan, Italy, 6 September 2024
FUNARCH
(2024)
Marcus Crestani
,
Markus Schlegel
,
Marco Schneider
Bidirectional Data Transformations.
FUNARCH
(2024)
Marco Sampellegrini
Architecting Functional Programs (Keynote).
FUNARCH
(2024)
James Chapman
,
Arnaud Bailly
,
Polina Vinogradova
Applying Continuous Formal Methods to Cardano (Experience Report).
FUNARCH
(2024)
Weixi Ma
,
Siyu Wang
,
Arnaud Venet
,
Junhua Gu
,
Subbu Subramanian
,
Rocky Liu
,
Yafei Yang
,
Daniel P. Friedman
F3: A Compiler for Feature Engineering.
FUNARCH
(2024)
Matthew J. Sottile
,
Mohit Tekriwal
Design and Implementation of a Verified Interpreter for Additive Manufacturing Programs (Experience Report).
FUNARCH
(2024)
2023
Ivan Perez
Types that Change: The Extensible Type Design Pattern.
FUNARCH
(2023)
Jeffrey M. Young
,
Sylvain Henry
,
John Ericson
Stretching the Glasgow Haskell Compiler: Nourishing GHC with Domain-Driven Design.
FUNARCH
(2023)
Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture, FUNARCH 2023, Seattle, WA, USA, 8 September 2023
FUNARCH
(2023)
Marco Perone
,
Georgios Karachalias
Crème de la Crem: Composable Representable Executable Machines.
FUNARCH
(2023)
Stefan Wehr
A Software Architecture Based on Coarse-Grained Self-Adjusting Computations.
FUNARCH
(2023)
D. Ben Knoble
,
Bogdan Popa
Functional Shell and Reusable Components for Easy GUIs.
FUNARCH
(2023)
Will Crichton
Typed Design Patterns for the Functional Era.
FUNARCH
(2023)
Jeremy Gibbons
,
Donnacha Oisín Kidney
,
Tom Schrijvers
,
Nicolas Wu
Phases in Software Architecture.
FUNARCH
(2023)