Heyang Li
16 following
LightNews LightNews
Andrea Lattuada
Andrea Lattuada
@utaal.bsky.social
OCaml
OCaml
@ocaml.org
Cyrus Omar
Cyrus Omar
@neurocy.bsky.social
Journal of Functional Programming
Journal of Functional Programming
@journal-of-fp.bsky.social
KC Sivaramakrishnan
KC Sivaramakrishnan
@kcsrk.info
ICFP Conference
ICFP Conference
@icfp-conference.bsky.social
Eva Darulova
Eva Darulova
@malyzajko.bsky.social
Max Willsey
Max Willsey
@mwillsey.com
CAV
CAV
@confcav.bsky.social
Kristopher Micinski
Kristopher Micinski
@krismicinski.bsky.social
SIGPLAN
SIGPLAN
@sigplan.bsky.social
Association for Computing Machinery
Association for Computing Machinery
@acm.org
Nikolaj
Nikolaj
@nikolajbjorner.bsky.social
Guannan Wei
Guannan Wei
@guannanwei.bsky.social
Haoyi Zeng
Haoyi Zeng
@haoyizeng.bsky.social
Bluesky
Bluesky
@bsky.app