Jiří Beneš jiribenes@types.pl

PhD student at University of Tübingen. Interested in linear types and effect systems.