🐪
JHU Ph.D. Student //
Fudan B.Eng //
PL is the classics of computer science.
-
Johns Hopkins University
- Baltimore, Maryland, USA
- https://cs.jhu.edu/~weng
- https://fairyland-ocaml.github.io/
Highlights
- Pro
Xavier Van de Woestyne
xvw
I am primarily interested in functional languages (and Types systems) and web developement.
@funkywork, @tarides Nantes
Yue Yao
tripack45
CMU CSD PhD in PL. Types (for) Systems FTW. Previously CMU MSCS and NVidia PTX Compiler Eng.
Pittsburgh, PA
Robert Harper
RobertHarper
I am a Professor in the Computer Science Department at Carnegie Mellon University, where I have been a member of faculty since 1988.
Carnegie Mellon University Pittsburgh PA
Robert Zhang
robertzhidealx
CS @ Johns Hopkins | Former Intern @ Meta::React | PL
Johns Hopkins University Baltimore, MD
Simon Cruanes
c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust.
Imandra (@imandra-ai) washington DC
David Allsopp
dra27
Principal software engineer @tarides; @ocaml and @ocaml-opam core developer; general Windows {apolo,evange}list
@tarides Cambridge, UK
Adrien Champion
AdrienChampion
Independent R&D Engineer in Lean 4 and Rust (and OCaml if I have to)
anzenlang La Rochelle, France
PreviousNext