Personal profile

External positions

Research Fellow, University of St Andrews

1 Apr 202031 Mar 2023

Postdoc, Radboud Universiteit Nijmegen

20162018

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
  • Scoped and typed staging by evaluation

    Allais, G., 11 Jan 2024, Ithaca, N.Y., 11 p.

    Research output: Working paperWorking Paper/Preprint

    Open Access
    File
    29 Downloads (Pure)
  • Scoped and typed staging by evaluation

    Allais, G., 11 Jan 2024, PEPM 2024: Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation. Keller, G. & Wang, M. (eds.). New York, NY, p. 83-93 11 p.

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

    Open Access
    File
    28 Downloads (Pure)