Jeremy Gibbons
jer_gib@functional.cafe
<p>Professor of Computing at University of Oxford: functional programming, types, program construction, verification. Formerly <span class="h-card" translate="no"><a href="https://types.pl/@jer_gib" class="u-url mention">@<span>jer_gib</span></a></span>.</p>