FUNARCH @ACMFUNARCH
ACM SIGPLAN Workshop on Functional Architecture functional-architecture.org @[email protected] Joined March 2023-
Tweets37
-
Followers106
-
Following18
-
Likes7
FUNARCH 2025 call for lightning talks is up! Come give a 5-10 minute presentation about your hexagonal architecture, or the system that you've architected in a functional language, or your experience using FP in the large! conf.researchr.org/home/icfp-spla…
This weekend is your last chance for the early registration discount! Register by Aug 31 for a better rate: icfp25.sigplan.org/attending/regi… And, if you're staying for the whole week, the 7-day registration package comes with one free day (you only pay for 6 days!)
We've extended the deadline for FUNARCH 2025 to June 23rd. Know something about what makes functional programming work in the large? Write it up! conf.researchr.org/home/icfp-spla…
Today is the day! Make sure you don't miss today’s deadline to submit to The Third ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large! conf.researchr.org/home/icfp-spla… #FUNARCH2025
Only a single week to go until the deadline on Monday, June 16th: Send us your paper on FP in the large - to the SIGPLAN Workshop on Functional Software Architecture! Happy Writing! conf.researchr.org/home/icfp-spla…
Only a little more than a month before the deadline on Mon. June 16: Send us your paper on FP in the large - to the SIGPLAN Workshop on Functional Software Architecture! Happy Writing! conf.researchr.org/home/icfp-spla… #FUNARCH2025
. @activegroupgmbh’s Markus Schlegel reports on bidirectional data transformations and their use in industrial practice.
Marc Kaufmann and Bogdan Popa tell us what continuations have ever done for us at #FUNARCH2024.
. @jmchapman_ talks about the use of formal methods at @InputOutputHK to implement the Cardano blockchain.
It's official: ICFP 2025 will be in Singapore!!
BTW, you can watch the #FUNARCH2024 livestream here (resuming in a half hour): youtube.com/watch?v=cX8yWB…
Mohit Tekriwal talks about a verified interpreter for additive manufacturing programs at #FUNARCH2024!
Weixi Ma talks about the F3 compiler for feature engineering at #FUNARCH2024 !
#FUNARCH2024 starts off with Marco Sampellegrini @_alpacaaa giving his keynote on Architecturing Functional Programs.
The proceedings for FUNARCH 2024 are available online - see you next week in Milan! dl.acm.org/doi/proceeding…
We're looking forward to seeing your for FUNARCH 2024 on September 6 in Milan. Note that you'll need to register via the @[email protected] site - early registration deadline is tomorrow! icfp24.sigplan.org/attending/regi…
Co-located with ICFP 2024 in Milan this year is the Functional Software Architecture (FUNARCH) workshop. Come and participate in discussions about the construction and structure of large and long-lived software projects that are implemented in functional languages, and listen to…
The program for #FUNARCH2024 is up! We have a diverse lineup, ranging from experience report on applied functional software architecture to formal methods! functional-architecture.org/events/funarch…
Łukasz Stafiniak @lukstafi
275 Followers 2K Following Currently I'm an independent wannabe researcher working on Machine Learning and AI in OCaml.
Donlon McGovern @DonlonMcGovern
1 Followers 82 Following
ICFP Conference @icfp_conference
4K Followers 18 Following ACM SIGPLAN International Conference on Functional Programming. Tweets by @shwestrick.
Yacoub Massad @yacoubmassad
161 Followers 776 Following Software Architect at NextgenID. Creator of DIVEX, a Dependency Injection tool for C# (https://t.co/Bj8EEWU7Cq)
Dmitry Skvortsov @DVSkvortsov
4 Followers 141 Following
Paul Bittner @PaulMBittner
120 Followers 195 Following PhD student at @sp_uulm; Research Assistant at Uni Paderborn; @VariantSync; evolution of configurable software; Agda; Magic the Gathering
doyougnu @do_you_gnu
122 Followers 349 Following PhD in programming languages. PL, FP, SAT solvers, Philosophy, and most importantly, dungeons and dragons. all views and claims are my own. (he/him)
Marco Abis @capotribu
3K Followers 5K Following Recovering Tech entrepreneur Mastodon: @[email protected] - @[email protected] BSky: @marcoabis.it Socio-political account in Italian 🇮🇹 👉 @MarcoAbisIT
Tom @tomstructured
24 Followers 511 Following CS student. Studying logic and programming languages. Mastodon: @[email protected]
spch2008 @spch2008
2 Followers 34 Following
ardalaan @ardalaaaan
1 Followers 47 Following
Raffael3 @rafftre
18 Followers 213 Following Ingegnere informatico, ciclista (e da un po' anche podista).
hsyl20 @hsyl20
107 Followers 703 Following
Espen Trydal @EspenTrydal
23 Followers 1K Following
Ramneet Singh @Ramneet_Singhh
856 Followers 5K Following Research Fellow @MSFTResearch India | Ex RA @gatech_scs, (B. + M.) Tech. CSE IITD | PL, Verification and Theorem Proving | Sports + Music + Food (in that order)
Chukwuma @agulumans
294 Followers 303 Following Messes around with unity3d. AR/VR, gamedev and b/e dev wt🐫, F#, C#, TS are my skill set. Currently playing Red Dead Redemption II
Tyler R. Josephson (a... @trjosephson
1K Followers 1K Following AI & Theory-Oriented Molecular Science. New dad. Asst Prof at @UMBC_CBEE, learning proofs and programming in @leanprover. RT≠PV/n
Artur Lojewski @ArturLojewski
92 Followers 772 Following
ggbozzo #BLM #ANTIFA @ggbozzo
361 Followers 5K Following
shashidhar honnungar @shashidhar_honn
59 Followers 1K Following
whatsgoingon @zhunzhun19
0 Followers 398 Following
Facundo Domínguez @FacundoDomngu12
48 Followers 46 Following
neuroevolutus @neuroevolutus
21 Followers 3K Following
gelisam @haskell_cat
1K Followers 308 Following AI Safety ∩ Programming Language Theory. Professional Haskell developer at https://t.co/qG4jsBEIIO, opinions are my own.
Jinhao Tan @tamkamhou
70 Followers 429 Following Ph.D. student @HKUniversity, interested in programming languages, type systems, theorem proving, program verification, and logics.
Marc Thatcher @MarcThatcher
73 Followers 170 Following 'And you may ask yourself: well, how did I get here?'
Paul Watson @PaulWatsonNcl
2K Followers 857 Following Director of the National Innovation Centre for Data, Professor of Computer Science at Newcastle University
Perdita Stevens @perditast
170 Followers 463 Following Parent, professor. I do not actually do Twitter.
Mariano Bertoni @mariano_bertoni
189 Followers 4K Following
geoff @GeoffreyHuntley
56K Followers 3K Following currently looking for my next role. pitch me at [email protected]
L4R4 @L4R43
89 Followers 1K Following Cristiano software developer, fan del anime-manga y videojuegos (en ese orden)
Lysanleo @lysanleo
2 Followers 152 Following
MHerbort @MHerbort
17 Followers 227 Following
richiverse @richiverse
3 Followers 205 Following
Andor Pénzes @sverien
529 Followers 1K Following Functional programming,software development,compiler construction.
combab0 @combab0
587 Followers 6K Following
Matt @matt_dz
5K Followers 3K Following C++, Compilers, Computer Architecture, Generic Programming, GPGPU, HPC, Machine Learning, Numerics, Parallel Computing, Quantitative Finance
beike @beikejun07
33 Followers 2K Following
ICFP Conference @icfp_conference
4K Followers 18 Following ACM SIGPLAN International Conference on Functional Programming. Tweets by @shwestrick.
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Scott Wlaschin @ScottWlaschin
11K Followers 2K Following I believe that solutions emerge from the judicious study of discernible reality. @ScottWlaschin on fosstodon and bsky
Perdita Stevens @perditast
170 Followers 463 Following Parent, professor. I do not actually do Twitter.
Stefanie Schirmer @linse
1K Followers 2K Following baba yaga @DuckDuckGo, also ask me about @sfpc, @hackerschool, #MirageOS, @Etsy, she/her, they/them
Simon Marlow @simonmar
8K Followers 250 Following Software Engineer at Facebook, Haskell enthusiast, GHC boiler-room technician
José Pedro Magalhãe... @dreixel
356 Followers 131 Following Managing Director, Head of Core Strats at @StanChart
Anil Madhavapeddy @avsm
6K Followers 1K Following Professor of Planetary Computing @Cambridge_CL 🇮🇪 @[email protected] and https://t.co/0P3DSgR0Dv
Andres Löh @kosmikus
3K Followers 476 Following I am a partner and Haskell Consultant at Well-Typed LLP. http://t.co/cc1cbLgax5
Ron Garcia @rg9119
2K Followers 429 Following Transmogrifies coffee into LaTeX at University of British Columbia
Manuel Chakravarty�... @TacticalGrace
6K Followers 763 Following Lambda scientist ･ functional programming, programming languages & cryptography • Swift, Haskell & Agda • @HaskellForMac dev • Volt Policy DigiCom
anne eisi @annebiene
1 Followers 14 Following
Joachim Breitner @nomeata
2K Followers 1 Following Has a thing for abstraction. Haskeller, Computer Scientist. Dances tango, swing and blues. Stand-up comedian and paraglider. 🦣 https://t.co/9Sjz02h8dL
Mike Sperber @sperbsen
830 Followers 624 Following Husband, father, C*O at Active Group, functional programmer, researcher, teacher, theater person. Fediverse: @[email protected]
Graham Hutton @haskellhutt
8K Followers 696 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴Trends for United States
You might like
