Projects per year
- 1 Similar Profiles
Dive into details
Select a country/territory to view shared publications and projects
Allais, G., Atkey, R., Chapman, J., McBride, C. & McKinna, J., 19 Oct 2021, In: Journal of Functional Programming. 31, 55 p., e22.
Research output: Contribution to journal › Article › peer-reviewOpen AccessFile
McBride, C. & Nordvall Forsberg, F., 8 Jan 2021, (Accepted/In press) Advanced Mathematical and Computational Tools in Metrology and Testing XII. Singapore: World Scientific Publishing Co. Pte Ltd, 15 p. (Series on Advances in Mathematics for Applied Sciences).
Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-reviewOpen AccessFile394 Downloads (Pure)
Invited Lecture Courses on Dependently Typed Programming Oregon Programming Languages Summer School, USA, 2010
Conor McBride (Invited speaker)2010
Activity: Talk or presentation types › Invited talk