Jeremy Gibbons
Professor of Computing at University of Oxford: functional programming, types, program construction, verification. Formerly [@jer_gib](https://types.pl/@jer_gib ).
Web: https://www.cs.ox.ac.uk/people/jeremy.gibbons/
Twitter: [@jer_gib](https://functional.cafe/@jer_gib )
Blog: https://patternsinfp.wordpress.com/
Youtube: https://www.youtube.com/playlist?list=PLqFG9BDHUhiA1k3YXFb9U8HktruQ1tG97
Web: https://www.cs.ox.ac.uk/people/jeremy.gibbons/
Twitter: [@jer_gib](https://functional.cafe/@jer_gib )
Blog: https://patternsinfp.wordpress.com/
Youtube: https://www.youtube.com/playlist?list=PLqFG9BDHUhiA1k3YXFb9U8HktruQ1tG97
Public Key
npub1349jhlr98dlp98leeyw2qyps5tkfxrhpkvrvyzhjnd6rua46mf8qpva38fNIP-05 Address
[email protected]Profile Code
nprofile1qqsg6jetl3jnklsjnluuj89qzqc29mynpmsmxpkzptefkap7w6ad5nsprpmhxue69uhhyetvv9ujumt0d4hhxarj9ecxjmntd9syajPublishing to
relay.momostr.pink relay.momostr.pink
Author Public Key
npub1349jhlr98dlp98leeyw2qyps5tkfxrhpkvrvyzhjnd6rua46mf8qpva38f