Explore types.pl
Discover users based on their interests
davesmith00000
@davesmith00000@types.pl
0
toots
0
followers
0
following
Brian Schroeder
@bts@types.pl
@bschroed on Twitter. Interested in algebraic effects, refinement types, and datalog.
0
toots
2
followers
1
following
Ornela Dardha
@ornela@types.pl
I am a Senior Lecturer (Associate Professor) in the School of Computing Science at the University of Glasgow.
0
toots
9
followers
3
following
alex lew
@akl@types.pl
phd student @ mit, interested in probabilistic programming! 🏳️🌈
0
toots
3
followers
11
following
nick faro
@superdisk@types.pl
types are pretty errrrrrr uhhhh satisfactory
0
toots
3
followers
32
following
Shubham Raj
@the1derer@types.pl
Recent Grad | Inerested in Type Theory and Fuctional Programming
0
toots
2
followers
1
following
Larry Diehl
@larrytheliquid@types.pl
I do wibbly wobbly dependent typey wipey stuff. Programming Languages at Symbiont.
Formerly postdoc at University of Iowa and PhD at Portland State University.
0
toots
8
followers
2
following
dani
@dani@types.pl
Computer science graduate student, scientist, and avid reader. I love learning things and meeting new people! She/her
0
toots
6
followers
2
following
Rajan Walia
@rjnw@types.pl
0
toots
7
followers
7
following