Dr Guillaume Allais
Strathclyde Chancellor's Fellow
Computer and Information Sciences
Back to staff profile
Publications
- Message from the Chairs
- Allais Guillaume, Liu Yanhong Annie
- PEPM '25: 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2025, pp. III-IV (2025)
- https://doi.org/10.1145/3704253
- Scoped and typed staging by evaluation
- Allais Guillaume
- PEPM 2024 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, pp. 83-93 (2024)
- https://doi.org/10.1145/3635800.3636964
- Builtin types viewed as inductive families
- Allais Guillaume
- Programming Languages and Systems. ESOP 2023 European Symposium on Programming Lecture Notes in Computer Science Vol 13990 LNCS, pp. 113-139 (2023)
- https://doi.org/10.1007/978-3-031-30044-8_5
- Type theory as a language workbench
- de Muijnck-Hughes Jan, Allais Guillaume, Brady Edwin
- Eelco Visser Commemorative Symposium (EVCS 2023) Open Access Series in Informatics (OASIcs) Vol 109 (2023)
- https://doi.org/10.4230/OASIcs.EVCS.2023.9
- A type and scope safe universe of syntaxes with binding : their semantics and proofs
- Allais Guillaume, Atkey Robert, Chapman James, McBride Conor, McKinna James
- Journal of Functional Programming Vol 31 (2021)
- https://doi.org/10.1017/S0956796820000076
- POPLMark reloaded : mechanizing proofs by logical relations
- Abel Andreas, Allais Guillaume, Hameer Aliya, Pientka Brigitte, Momigliano Alberto, Schäfer Steven, Stark Kathrin
- Journal of Functional Programming Vol 29 (2019)
- https://doi.org/10.1017/S0956796819000170
Back to staff profile
Professional Activities
- ICFP 2025 - ACM SIGPLAN International Conference on Functional Programming
- Member of programme committee
- 12/10/2025
- ACM SIGPLAN International Conference on Generative Programming: Concepts & Experiences
- Member of programme committee
- 30/6/2025
- Type-safe Bidirectional Channels in Idris 2
- Speaker
- 9/6/2025
- 31st Conference on Types for Proofs and Programs
- Member of programme committee
- 9/6/2025
- 31st Conference on Types for Proofs and Programs
- Organiser
- 9/6/2025
- Correct by Construction Concurrent Programs in Idris 2
- Speaker
- 4/6/2025
Back to staff profile
Contact
Dr
Guillaume
Allais
Strathclyde Chancellor's Fellow
Computer and Information Sciences
Email: guillaume.allais@strath.ac.uk
Tel: Unlisted