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>
Posts
-
Post #3413576
Sent off to the publisher today. At last! Still got the index, the solutions to exercises, and a proofread to go. But the end is in sight.
-
Post #2110594
@pigworker You&#39;ll enjoy this month&#39;s Guardian Genius crossword