Bruno Oliveira
@bcdsoliveira
Debasish (দেবাশিস্) Ghosh 🇮🇳
@debasishg
Programmer. Author: Functional and Reactive Domain Modeling (Manning 2016), DSLs In Action (Manning 2010). Father. Husband. Seinfeld fanboy. FP aficionado.
Eric Torreborre
@etorreborre
Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
Sam Tobin-Hochstadt
@samth
Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Ilya Sergey
@ilyasergey
Associate Professor at @NUSComputing. Programming languages, verification, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Cyrus Omar (now mainly on bsky)
@neurocy
🌱 laying foundations for the future of programming @ hazel.org 🌿 asst professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
Bertrand Meyer
@bertrand_meyer
Software engineer (theory and practice). Author, consultant, professor, project manager.
Linus Yang
@linusyang
Opinions are my own and do not represent my employer’s views.
Tijs van der Storm
@tvdstorm
literature & programming
Mark Seemann
@ploeh
Danish software design
Yann LeCun
@ylecun
Professor at NYU. Chief AI Scientist at Meta. Researcher in AI, Machine Learning, Robotics, etc. ACM Turing Award Laureate.
Andrew Myers
@andrewcmyers
Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems.
Just Tori
@kawaii_poptart
Cloud Infrastructure Engineer | Video Games | Artsy stuff | Dog/Plant mom.
James Noble
@jameskjx
Jeremy Siek
@jeremysiek
Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @[email protected]
Matt Roberts
@altmattr
Researcher, teacher, programmer.
Josh ∞
@joshhq
Internet Computer Protocol (ICP) @DFINITY @OISY_Wallet 🔑 @CaffeineAI ☕️ #ICP #Web3 #BTC
-
@ericwalkingshaw
Dan Licata
@admitscut
Types and cats.
Jonathan Brachthäuser
@__protected
Researcher in computer science, all things effects, author of the Effekt language (effekt-lang.org), JunProf. at Uni Tübingen. types.pl/@effects
SPLASH Conference
@splashcon
SPLASH: ACM Annual Conference on Systems, Programming, Languages, Applications: Software for Humanity #SPLASH2025 #SPLASH25
Taelin
@victortaelin
HOC, HVM, Bend, Kind, Interaction Nets, λ-Calculus
Michael Greenberg
@mgrnbrg
Will Crichton
@tonofcrates
Cognitive engineer, incoming assistant professor @BrownUniversity.
jiangsy
@jiangsy96
Erik Meijer
@headinthebox
Yaozhu Sun
@yzyzsun
PhD Student in Programming Languages @HKUniversity 🇭🇰
Guannan Wei
@guannanwei
Postdoc at INRIA/ENS Paris; incoming Asst. Prof in CS @TuftsUniversity; previously @PurdueCS @galois @SambaNovaAI @UUtah; Bluesky @guannanwei.bsky.social
Stephanie Weirich
@fancytypes
Shriram Krishnamurthi (primary: Bluesky)
@shriramkmurthi
@BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Xuejing, aka Snow
@hxjxsnow
Postdoc @IRIF_Paris #MyElixirStatus / PhD #HKUPLG @HKUniversity / From Changsha Hangzhou Sthlm NY HK / 🏳️🌈 Married / ADHD is my super ability / INS @hxjxsnow
L
@judasapphire
No
Yanlin Wang
@yanlin_wang
Assistant Professor at Sun Yat-sen University. Former Senior Researcher at Microsoft Research Asia.
Sam Lindley
@reifyreflect
Jonathan Aldrich
@jaldrichpl
Professor of Programming Languages and Software Engineering at CMU. ACM Publications Board. CTO of Noteful (noteful.net). He/him. Views are mine.
Nick Rioux
@nickrioux
@[email protected] CS grad student in programming languages at Penn Former @neu_prl undergrad
🐦⬛
@glaebhoerl
nonblack nonraven
Jeremy Gibbons
@jer_gib
Christian, functional programmer, bass player, increasingly absent-minded prof. Also @[email protected]
Birthe van den Berg
@birthevdb
Jan Vitek
@j_v_66
IG: instagram.com/olaf.pix
Sandro Stucki
@stuckintheory
Computer scientist, programmer, theorist, science geek (he/him).
ECOOP’24 Conference
@ecoopconf
European Conference on Object-Oriented Programming Practical and theoretical investigations of programming languages, systems and environments #ECOOP24
Jinhao Tan
@tamkamhou
Ph.D. student @HKUniversity, interested in programming languages, type systems, theorem proving, program verification, and logics.
Litao Zhou
@litao_zhou
SJTUer / PhD student at @HKUniversity / Programming Languages - Types / ✨@andy_czm0622
Ningning Xie
@xnningxie
Having fun with types! @UofTCompSci @GoogleDeepMind
Satnam Singh
@satnam6502
Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}
Lionel Parreaux
@lparreaux
PL researcher interested in Types, Abstraction, Compilers & Optimization (TACO lab, cse.hkust.edu.hk/~parreaux). Assistant Professor at HKUST.
Graham Hutton
@haskellhutt
Professor at @UoNComputerSci 💻 Haskeller tinyurl.com/PIH-II 📓 YouTuber tinyurl.com/FP-Nott🎙 Food Nerd 🍽 Glaswegian 🏴
Marcel Böhme👨🔬
@mboehme_
Software Security @maxplanckpress (#MPI_SP), PhD @NUSComputing, Dipl.-Inf. @TUDresden_de Research Group: mpi-softsec.github.io
Roopsha Samanta
@roopshasamanta
Ex-academic. Untenured, unapologetic, undaunted.
Geoffrey Hinton
@geoffreyhinton
deep learning
Jiasi Shen
@shenjiasi
Assistant Professor @HKUST CSE. Programming languages, software engineering. Previously @MIT_CSAIL @PKU1898.
Andong Fan
@andongfan
PhD student @UofTCompSci. Interested in type systems.
Xu Xue
@juniorxxue
Haskell; Agda; Racket
Luyu Cheng @HKUST
@luyu_hkust
PhD student at @HKUST supervised by @LParreaux. Working on functional programming and language design.
Old Macau Archives
@mfm_0624
老澳門
Journal of Functional Programming
@cup_jfp
Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Journal @CambridgeUP, tweets @kamatsu8
Baber Rehman
@baberehman
PL Research @ HKU
🧩 Puzzle Rush Chess🧩
@puzzlerushchess
Puzzle Rush. Based on the original @chessmastercube.Solve chess puzzles 🧩.3 strikes & you’re out. Most addictive chess app ever. Free to use version.
Wenjia Ye
@yewenjia
PhD student at HKU Programming Language Group
Klara Mar
@klaramard
PhD student at KU Leuven
Christoph Reichenbach
@creichen_net
Software technology researcher, Lund university
APLAS 2024
@aplasconf
APLAS 2024 October 22-24 Asian Symposium on Programming Languages and Systems