CIRCLE WITH A DOT

Your browser does not seem to support JavaScript. As a result, your viewing experience will be diminished, and you have been placed in read-only mode.

Please download a browser that supports JavaScript, or enable it if it's disabled (i.e. NoScript).

jer_gib@functional.cafe

@jer_gib@functional.cafe

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

Reputation 0

Profile views 1

Joined

Last Online

Web www.cs.ox.ac.uk/people/jeremy.gibbons/

Twitter @jer_gib

Blog patternsinfp.wordpress.com/

Youtube www.youtube.com/playlist?list=PLqFG9BDHUhiA1k3YXFb9U8HktruQ1tG97