Presentations

Menu Menu

HPVDI2020 at OIST Searching right sizing storage, our experience and incidents
Constructing ZF Set Theory on Agda
Agda Meeting On our Agda experience in Category theory, Hoare logic, Automaton and System F