Andrea Gilot
42 following
LightNews LightNews
Marcel Böhme
Marcel Böhme
@mboehme.bsky.social
Sarah E. Chasins
Sarah E. Chasins
@schasins.bsky.social
heyheiko.bsky.social
heyheiko.bsky.social
@heyheiko.bsky.social
Ilya Sergey
Ilya Sergey
@ilyasergey.bsky.social
Joe Cutler
Joe Cutler
@alphaconvert.bsky.social
Hamza Remmal
Hamza Remmal
@remmal.net
Nicolas Wagner
Nicolas Wagner
@niwagner.bsky.social
Anastasia Isychev
Anastasia Isychev
@isychev.bsky.social
Yann Herklotz
Yann Herklotz
@yannherklotz.com
Alcides Fonseca
Alcides Fonseca
@alcidesfonseca.com
Matthew Parkinson
Matthew Parkinson
@matt-parkinson.bsky.social
Anders Møller
Anders Møller
@andersmoeller.bsky.social
ETAPS conferences
ETAPS conferences
@etapsconf.bsky.social
Stephanie Weirich
Stephanie Weirich
@fancytypes.bsky.social
International Conference on Automated Software Engineering (ASE)
International Conference on Automated Software Engineering (ASE)
@aseconf.bsky.social
Tomas Petricek
Tomas Petricek
@tomasp.net
The Scala Programming Language
The Scala Programming Language
@scala-lang.org
Haskell programming language
Haskell programming language
@haskell.org
Mae Milano
Mae Milano
@mpmilano.bsky.social
Jonathan Aldrich
Jonathan Aldrich
@jonathanaldrich.bsky.social
tosem
tosem
@acm-tosem.bsky.social
ICFP Conference
ICFP Conference
@icfp-conference.bsky.social
yuxiaoli.bsky.social
yuxiaoli.bsky.social
@yuxiaoli.bsky.social
Solal Pirelli
Solal Pirelli
@solalpirelli.bsky.social
arxiv cs.PL
arxiv cs.PL
@arxiv-cs-pl.bsky.social
Catarina Gamboa
Catarina Gamboa
@catarinavgamboa.bsky.social
Andreas Zeller
Andreas Zeller
@andreaszeller.bsky.social
Lean Focused Research Organization
Lean Focused Research Organization
@lean-lang.org
nikomatsakis
nikomatsakis
@nikomatsakis.com
pcanelas.bsky.social
pcanelas.bsky.social
@pcanelas.bsky.social
International Conference on Software Engineering
International Conference on Software Engineering
@icseconf.bsky.social
ACM SIGSOFT
ACM SIGSOFT
@sigsoft.bsky.social
PLDI
PLDI
@sigplan-pldi.bsky.social
ranjitjhala.bsky.social
ranjitjhala.bsky.social
@ranjitjhala.bsky.social
Derek Dreyer
Derek Dreyer
@herrdreyer.bsky.social
Hila Peleg
Hila Peleg
@hilacodes.bsky.social
Shriram Krishnamurthi
Shriram Krishnamurthi
@shriram.bsky.social
Laurence Tratt
Laurence Tratt
@ltratt.bsky.social
Amanda
Amanda
@amanda.systems
SIGPLAN
SIGPLAN
@sigplan.bsky.social
CAV
CAV
@confcav.bsky.social
Eva Darulova
Eva Darulova
@malyzajko.bsky.social