Jeremy Siek
@jeremysiek
Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @jeremysiek@types.pl
Victor Lanvin
@v_lanvin
PhD student in CS at @IRIF_Paris. OCaml fan.
Load more