If you made any changes in Pure these will be visible here soon.

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.

  • 2 Similar Profiles
Substitution reactions Engineering & Materials Science
Printing Engineering & Materials Science
Pi Mathematics
Computer programming languages Engineering & Materials Science
Fusion reactions Engineering & Materials Science
Semantics Engineering & Materials Science
Regular polygon Mathematics
Formal Proof Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2014 2019

  • 2 Conference contribution book
  • 1 Paper
  • 1 Article
4 Downloads (Pure)

Generic level polymorphic N-ary functions

Allais, G., 18 Aug 2019, TyDe 2019 - Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, co-located with ICFP 2019. Darais, D. & Gibbons, J. (eds.). New York, p. 14-26 13 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
Substitution reactions
Mathematical operators

A type and scope safe universe of syntaxes with binding: their semantics and proofs

Allais, G., Atkey, R., Chapman, J., McBride, C. & McKinna, J., 23 Sep 2018. 30 p.

Research output: Contribution to conferencePaper

Open Access
Computer programming languages
Substitution reactions


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