Selected publications
-
Open access
Builtin Types viewed as Inductive Families
Allais, G., 5 Jan 2023, (Accepted/In press) In: Programming Languages and Systems. 32snd European Symposium on Programming, ESOP 2023, 32 p.Research output: Contribution to journal › Article › peer-review
-
A type- and scope-safe universe of syntaxes with binding: their semantics and proofs
Allais, G., Atkey, R., Chapman, J., McBride, C. & McKinna, J., 19 Oct 2021, (E-pub ahead of print) In: Journal of Functional Programming. 31, 55 p.Research output: Contribution to journal › Article › peer-review