Projects per year
- 1 Similar Profiles
Dive into details
Select a country/territory to view shared publications and projects
24/02/20 → 23/02/22
Project: Research - Internally Allocated
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 AccessFile25 Downloads (Pure)
Allais, G., Atkey, R., Chapman, J., McBride, C. & McKinna, J., 28 Jan 2020, (Accepted/In press) In: Journal of Functional Programming. 61 p.
Research output: Contribution to journal › Article › peer-reviewOpen AccessFile28 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