Functional Architecture @funarch.bsky.social · 29/08/2026Leon and Falk explaining functional patterns in rust! doi.org/10.1145/3830... #ICFP2026 #FUNARCH2026 010
Functional Architecture @funarch.bsky.social · 29/08/2026Seungheon Oh of IOG explaining the architecture of Plinth vs Plutarch! dl.acm.org/doi/10.1145/... #funarch2026 011
Functional Architecture @funarch.bsky.social · 12/10/2025@activegroupgmbh.bsky.social Michael Sperber reports on the last six years of training functional software architects. #funarch2025 011
Functional Architecture @funarch.bsky.social · 12/10/2025The room was packed for @activegroupgmbh.bsky.social's Markus Schlegel remote talk on Functional UI Paradigms. #funarch2025 122
Functional Architecture @funarch.bsky.social · 12/10/2025Gabriele Keller showing us the architecture of a layered certifying compiler. #funarch2025 033
Functional Architecture @funarch.bsky.social · 06/09/2024. @activegroupgmbh.bsky.social's Markus Schlegel reports on bidirectional data transformations and their use in industrial practice. 042
Functional Architecture @funarch.bsky.social · 06/09/2024Marc Kaufmann and Bogdan Popa tell us what continuations have ever done for us at #FUNARCH2024. 021
Functional Architecture @funarch.bsky.social · 06/09/2024James Chapman talks about the use of formal methods to implement the Cardano blockchain. 021
Functional Architecture @funarch.bsky.social · 06/09/2024Mohit Tekriwal talks about a verified interpreter for additive manufacturing programs at #FUNARCH2024! 011
Functional Architecture @funarch.bsky.social · 06/09/2024Weixi Ma talks about the F3 compiler for feature engineering at #FUNARCH2024! 011
Functional Architecture @funarch.bsky.social · 06/09/2024Marco Sampellegrini starts off #FUNARCH2024 with his keynote on Architecting Functional Programming! 011