Research output per year
Research output per year
Dr
United Kingdom
Accepting PhD Students
Research Fellow, University of St Andrews
1 Apr 2020 → 31 Mar 2023
Postdoc, Radboud Universiteit Nijmegen
2016 → 2018
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
Research output: Working paper › Working Paper/Preprint
Chapman, J. (Creator), McBride, C. (Creator), Allais, G. (Creator) & McKinna, J. (Creator), University of Strathclyde, 9 Dec 2016
DOI: 10.15129/f1283dbb-64fd-4d35-aacc-49d3cc0893b8, https://github.com/agda/agda and one more link, https://github.com/gallais/type-scope-semantics (show fewer)
Dataset
Allais, G. (Creator), Atkey, R. (Creator), Chapman, J. (Creator), McBride, C. (Creator) & McKinna, J. (Creator), Association for Computing Machinery (ACM), 23 Aug 2018
DOI: 10.1145/3235048, https://github.com/gallais/generic-syntax
Dataset
Student thesis: Doctoral Thesis
Allais, G. (Member of programme committee)
Activity: Participating in or organising an event types › Organiser of major conference
Allais, G. (Organiser), Allais, G. (Member of programme committee), Nordvall Forsberg, F. (Organiser), Nordvall Forsberg, F. (Chair) & Gale, S. (Organiser)
Activity: Participating in or organising an event types › Organiser of major conference