FUNARCH 2023 – Proceedings

1st ACM SIGPLAN International Workshop on Functional Software Architecture (FUNARCH 2023)

Frontmatter

Papers

A Software Architecture Based on Coarse-Grained Self-Adjusting Computations
Stefan Wehr
(Offenburg University of Applied Sciences, Germany)

@InProceedings{FUNARCH23p1, author = {Stefan Wehr}, title = {A Software Architecture Based on Coarse-Grained Self-Adjusting Computations}, booktitle = {Proc.\ FUNARCH}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3609025.3609481}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Article: icfpws23funarchmain-id7-p (type: Full Paper (Experience Report)) doi:10.1145/3609025.3609481

Crème de la Crem: Composable Representable Executable Machines
Marco Perone and Georgios Karachalias
(Independent, Italy; Tweag, France)

@InProceedings{FUNARCH23p16, author = {Marco Perone and Georgios Karachalias}, title = {Crème de la Crem: Composable Representable Executable Machines}, booktitle = {Proc.\ FUNARCH}, publisher = {ACM}, pages = {16-15}, doi = {10.1145/3609025.3609480}, year = {2023}, } Publisher's Version Article: icfpws23funarchmain-id6-p (type: Full Paper (Architectural Pearl)) doi:10.1145/3609025.3609480

Functional Shell and Reusable Components for Easy GUIs
D. Ben Knoble and Bogdan Popa
(Independent, USA; Independent, Romania)

@InProceedings{FUNARCH23p31, author = {D. Ben Knoble and Bogdan Popa}, title = {Functional Shell and Reusable Components for Easy GUIs}, booktitle = {Proc.\ FUNARCH}, publisher = {ACM}, pages = {31-30}, doi = {10.1145/3609025.3609478}, year = {2023}, } Publisher's Version Article: icfpws23funarchmain-id4-p (type: Full Paper (Experience Report)) doi:10.1145/3609025.3609478

Phases in Software Architecture
Jeremy Gibbons, Donnacha Oisín Kidney, Tom Schrijvers, and Nicolas Wu
(University of Oxford, UK; Imperial College London, UK; KU Leuven, Belgium)

@InProceedings{FUNARCH23p46, author = {Jeremy Gibbons and Donnacha Oisín Kidney and Tom Schrijvers and Nicolas Wu}, title = {Phases in Software Architecture}, booktitle = {Proc.\ FUNARCH}, publisher = {ACM}, pages = {46-45}, doi = {10.1145/3609025.3609479}, year = {2023}, } Publisher's Version Article: icfpws23funarchmain-id9-p (type: Full Paper (Architectural Pearl)) doi:10.1145/3609025.3609479

Stretching the Glasgow Haskell Compiler: Nourishing GHC with Domain-Driven Design
Jeffrey M. Young, Sylvain Henry, and John Ericson
(IOG, USA; IOG, France; Obsidian Systems, USA)

@InProceedings{FUNARCH23p61, author = {Jeffrey M. Young and Sylvain Henry and John Ericson}, title = {Stretching the Glasgow Haskell Compiler: Nourishing GHC with Domain-Driven Design}, booktitle = {Proc.\ FUNARCH}, publisher = {ACM}, pages = {61-60}, doi = {10.1145/3609025.3609476}, year = {2023}, } Publisher's Version Article: icfpws23funarchmain-id11-p (type: Full Paper (Experience Report)) doi:10.1145/3609025.3609476

Typed Design Patterns for the Functional Era
Will Crichton
(Brown University, USA)

@InProceedings{FUNARCH23p76, author = {Will Crichton}, title = {Typed Design Patterns for the Functional Era}, booktitle = {Proc.\ FUNARCH}, publisher = {ACM}, pages = {76-75}, doi = {10.1145/3609025.3609477}, year = {2023}, } Publisher's Version Article: icfpws23funarchmain-id3-p (type: Full Paper (Research Paper)) doi:10.1145/3609025.3609477

Types that Change: The Extensible Type Design Pattern
Ivan Perez
(KBR @ NASA Ames Research Center, USA)

@InProceedings{FUNARCH23p91, author = {Ivan Perez}, title = {Types that Change: The Extensible Type Design Pattern}, booktitle = {Proc.\ FUNARCH}, publisher = {ACM}, pages = {91-90}, doi = {10.1145/3609025.3609475}, year = {2023}, } Publisher's Version Article: icfpws23funarchmain-id12-p (type: Full Paper (Architectural Pearl)) doi:10.1145/3609025.3609475

proc time: 0.02