About James Tan

MSc Computer Science student at #udem. Interested in #programminglanguages / #plt and #typetheory. I write about the papers that I read and I share my thoughts on them. I usually code in #ocaml or #rust.

#chess player

Lists

Timeline

{username} has no activity yet