Sign up now
free 30-day trial
Sign In
Discover
Pricing
Help
Professor of Computing at University of Oxford: functional programming, types, program construction, verification. Formerly @jer_gib.