Dr Guillaume Allais
Strathclyde Chancellor's Fellow
Computer and Information Sciences
Back to staff profile
Publications
- The Agda standard library : version 2.0
- Daggitt Matthew L, Allais Guillaume, McKinna James, Abel Andreas, van Doorn Nathan, Wood James, Norell Ulf, Kidney Donnacha OisÃn, Meshveliani Sergei, Stucki Sandro, Carette Jacques, Rice Alex, Hu Jason Z S, Xia Li-yao, You Shu-Hung, Mullanix Reed, Kokke Wen
- Journal of Open Source Software Vol 10 (2025)
- https://doi.org/10.21105/joss.09241
- Frex : dependently typed algebraic simplification
- Allais Guillaume, Brady Edwin, Corbyn Nathan, Kammar Ohad, Yallop Jeremy
- Proceedings of the ACM on Programming Languages (PACMPL) Vol 9, pp. 30-65 (2025)
- https://doi.org/10.1145/3747506
- 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
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
- 31st Conference on Types for Proofs and Programs
- Organiser
- 9/6/2025
- 31st Conference on Types for Proofs and Programs
- Member of programme committee
- 9/6/2025
- Type-safe Bidirectional Channels in Idris 2
- Speaker
- 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