Research output per year
Research output per year
Personal profile
External positions
Research Fellow, University of St Andrews
1 Apr 2020 → 31 Mar 2023
Postdoc, Radboud Universiteit Nijmegen
2016 → 2018
Fingerprint
Dive into the research topics where Guillaume Allais is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Builtin types viewed as inductive families
Allais, G., 17 Apr 2023, Programming Languages and Systems. ESOP 2023. Wies, T. (ed.). Cham, Switzerland: Springer, Vol. 13990. p. 113-139 27 p. (Lecture Notes in Computer Science; vol. 13990 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
Open AccessFile5 Downloads (Pure) -
Type theory as a language workbench
de Muijnck-Hughes, J., Allais, G. & Brady, E., 21 Mar 2023, Eelco Visser Commemorative Symposium (EVCS 2023). Lämmel, R., Mosses, P. & Steimann, F. (eds.). Dagstuhl, Germany, Vol. 109. 14 p. 9. (Open Access Series in Informatics (OASIcs); vol. 109).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
Open AccessFile7 Downloads (Pure)
Datasets
-
Code for: "A type and scope safe universe of syntaxes with binding: their semantics and proofs"
Allais, G. (Creator), Atkey, B. (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
-
Type-and-Scope Safe Programs and Their Proofs - Formalization
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
Thesis
-
Syntaxes with binding, their programs, and proofs
Author: Allais, G., 12 Apr 2023Supervisor: McBride, C. (Supervisor) & Ghani, N. (Supervisor)
Student thesis: Doctoral Thesis
Activities
- 1 Oral presentation
-
Contributed long talk TYPES 2022: TypOS: An “Operating System” for Typechecking Actors
Fredrik Nordvall Forsberg (Speaker), Conor McBride (Contributor), Georgi Nakov (Contributor), Guillaume Allais (Contributor), Malin Altenmüller (Contributor) & Craig Roy (Contributor)
22 Jun 2022Activity: Talk or presentation types › Oral presentation