Functional Architecture
LightNews LightNews
banner
funarch.bsky.social
Functional Architecture
@funarch.bsky.social
48 followers 2 following 29 posts
ACM SIGPLAN Workshop on Functional Software Architecture

https://functional-architecture.org/
Posts Replies Media Videos
funarch.bsky.social
@activegroupgmbh.bsky.social Michael Sperber reports on the last six years of training functional software architects. #funarch2025
October 12, 2025 at 6:10 AM
funarch.bsky.social
The room was packed for @activegroupgmbh.bsky.social's Markus Schlegel remote talk on Functional UI Paradigms. #funarch2025
October 12, 2025 at 3:54 AM
funarch.bsky.social
Gabriele Keller showing us the architecture of a layered certifying compiler. #funarch2025
October 12, 2025 at 3:09 AM
funarch.bsky.social
. @activegroupgmbh.bsky.social's Markus Schlegel reports on bidirectional data transformations and their use in industrial practice.
Photo of Markus Schlegel giving his talk
September 6, 2024 at 2:09 PM
funarch.bsky.social
Marc Kaufmann and Bogdan Popa tell us what continuations have ever done for us at #FUNARCH2024.
Photo of Marc Kaufmann and Bogdan Popa giving their talk.
September 6, 2024 at 12:50 PM
funarch.bsky.social
James Chapman talks about the use of formal methods to implement the Cardano blockchain.
Photo of James Chapman giving his talk.
September 6, 2024 at 12:13 PM
funarch.bsky.social
Mohit Tekriwal talks about a verified interpreter for additive manufacturing programs at #FUNARCH2024!
Photo of Mohit Tekriwal giving his talk.
September 6, 2024 at 9:48 AM
funarch.bsky.social
Weixi Ma talks about the F3 compiler for feature engineering at #FUNARCH2024!
Photo of Weixi Ma giving his talk.
September 6, 2024 at 9:16 AM
funarch.bsky.social
Marco Sampellegrini starts off #FUNARCH2024 with his keynote on Architecting Functional Programming!
Photo of Marco Sampellegrini giving his keynote.
September 6, 2024 at 7:38 AM