Andy Gordon

Click here to return to the page you were on when you logged in.

Public lists managed by Andy Gordon

Talks given by Andy Gordon

Obviously this only lists talks that are listed through talks.cam. Furthermore, this facility only works if the speaker's e-mail was specified in a talk. Most talks have not done this.

• A Model-Learner Pattern for Bayesian Reasoning
• 'Low Level Liquid Types', Rondon, Kawaguchi and Jhala
• Principles and applications of refinement types

Talks organised by Andy Gordon

This list is based on what was entered into the 'organiser' field in a talk. It may not mean that Andy Gordon actually organised the talk, they may have been responsible only for entering the talk into the talks.cam system.