Functional Architecture
@funarch.bsky.social
44 followers 2 following 25 posts
ACM SIGPLAN Workshop on Functional Software Architecture https://functional-architecture.org/
Posts Media Videos Starter Packs
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
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.
funarch.bsky.social
James Chapman talks about the use of formal methods to implement the Cardano blockchain.
Photo of James Chapman giving his talk.
Reposted by Functional Architecture
funarch.bsky.social
Mohit Tekriwal talks about a verified interpreter for additive manufacturing programs at #FUNARCH2024!
Photo of Mohit Tekriwal giving his talk.
funarch.bsky.social
Mohit Tekriwal talks about a verified interpreter for additive manufacturing programs at #FUNARCH2024!
Photo of Mohit Tekriwal giving his talk.
funarch.bsky.social
Weixi Ma talks about the F3 compiler for feature engineering at #FUNARCH2024!
Photo of Weixi Ma giving his talk.
funarch.bsky.social
Marco Sampellegrini starts off #FUNARCH2024 with his keynote on Architecting Functional Programming!
Photo of Marco Sampellegrini giving his keynote.
funarch.bsky.social
We're happy to announce the program for FUNARCH 2024 is complete - Marco Sempellegrini will do the keynote!
Reposted by Functional Architecture
funarch.bsky.social
Submit to the 2nd SIGPLAN Workshop on Functional Software Architecture #FUNARCH2024 - send us your take on how to do software development in the large with FP! Deadline is June 3! functional-architecture.org/events/funar...
FUNARCH 2024 - Call for Papers | Functional Architecture
The Second ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large
functional-architecture.org