Talks

  • Computations over infinite data structures (pdf)
  • CALF: Categorical Automata Learning Framework LiVe 2017 (pdf)
  • Learning Nominal Automata, POPL 2017 (pdf)
Advertisements
%d bloggers like this: