barambani
Follow
Richard Eisenberg
goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.
@janestreet Philadelphia, PA
Jonathan Immanuel Brachthäuser
b-studios
Jun. Professor of Software Engineering at University of Tübingen, working on effect systems, control flow, and more.
University of Tübingen Tübingen
Dmitry Petrashko
DarkDimius
Currently @stripe. Ex http:https://dotty.epfl.ch/ compiler architect, PhD on developing fast & maintainable compilers.
Stripe
luca zulian
lucazulian
software developer • escape meta alt control shift • he/him • 𝜆𝑥.𝑥 • creating tech debt one LoC at a time
Milan, Italy
Piotr Paradziński
lemastero
Apply formal methods, category theory, type theory to build: blockchains / compilers / big data
in Scala / Haskell / Idris / Agda
@ScalaConsultants
Lublin
Diego Alonso
diesalbla
Quantitative Developer.
Software developer with experience in Scala, Haskell.
Standard Chartered London, United Kingdom
Salvatore Sanfilippo
antirez
Computer programmer based in Sicily, Italy. I mostly write OSS software. Born 1977. Not a puritan.
Redis Labs Catania, Sicily, Italy
Abel Nieto
abeln
CS PhD (ongoing). Verifying distributed systems for fun and profit.
Aarhus University Waterloo, Canada
Bas van Dijk
basvandijk
I've 15 years of experience as a Haskell developer in various roles.
DFINITY Zürich, Switzerland
Chris Birchall
cb372
@47deg Bury St Edmunds, UK
Puneet Khanduri
puneetkhanduri
Diffy - https://github.com/opendiffy/diffy
Functional Programming
ML&AI
@opendiffy ex-@twitter ex-@oracle ex-@sunlabs San Francisco
Prashant Khanduri
khanduri
https://github.com/opendiffy/diffy
@opendiffy CA, United States
Mateusz Kubuszok
MateuszKubuszok
When I don't program for a living, I live for programming. Or not. (Depends on the weather outside).
Żory, Poland
