Julien M. · @julm
486 followers · 4935 posts · Server framapiaf.org


> is a hosted by , PhD Student in Languages at . Our goal is to create content broadly related with PL research and . For this we interview researchers, host round-tables and have broad discussions about anything related with PL and Type Theory.
typetheoryforall.com

#ocaml #idris #agda #isabelle #emacs #coq #haskell #typetheory #purdueuniversity #programming #PedroAhbril #podcast #TypeTheoryForall #logic

Last updated 2 years ago