Richard Eisenberg (@raehaskell) 's Twitter Profile
Richard Eisenberg

@raehaskell

Type system grease monkey and language designer for Haskell and OCaml. I want type systems to save us from software errors. Works at @JaneStreetGroup. He/him

ID: 1191049810213834753

linkhttps://richarde.dev/ calendar_today03-11-2019 17:49:51

220 Tweet

3,3K Followers

149 Following

Richard Eisenberg (@raehaskell) 's Twitter Profile Photo
Richard Eisenberg
@raehaskell

4 years ago

Pleased to share that the videos from the WITS workshop (co-organized with @agdakx and part of POPL 2025) are now online, including the keynote by @jonmsterling. Thanks to Apoorv Ingle, the tireless video chair! youtube.com/playlist?list=…