Jeremy Gibbons jer_gib@functional.cafe
Professor of Computing at University of Oxford: functional programming, types, program construction, verification. Formerly @jer_gib.
Professor of Computing at University of Oxford: functional programming, types, program construction, verification. Formerly @jer_gib.