Professor of Computing at University of Oxford: functional programming, types, program construction, verification. Now moved to @jer_gib@functional.cafe
Professor of Computing at University of Oxford: functional programming, types, program construction, verification. Now moved to @jer_gib
Professor of Computing at University of Oxford: functional programming, types, program construction, verification. Now moved to @jer_gib
I'm in the process of moving to @jer_gib@functional.cafe - if I get this right, my follows and followers should come with me. See you on the other side!
Professor of Computing at University of Oxford: functional programming, types, program construction, verification. Now moved to @jer_gib
@hazel All the best for whatever comes next. And thanks for your efforts running this instance.