Institution. University of Oxford [ox]

Oxford, United Kingdom
https://ox.ac.uk

Backlinks

Conference. TyDe '17: 2nd ACM SIGPLAN International Workshop on Type-Driven Development [tyde17]

September 2017
University of Oxford
10.1145/3122975
https://tydeworkshop.org/2017

Colocated with ICFP'17. An instance of the Workshop on Type-Driven Development.

Person. Luca Cardelli [lucacardelli]

Research Professor
University of Oxford
0000-0002-8705-8488
http://lucacardelli.name

Person. Richard Bird [richardbird]

Supernumerary Fellow of Computation (deceased)
University of Oxford
https://en.wikipedia.org/wiki/Richard_Bird_(computer_scientist)