Guillaume Allais – Research output — University of Strathclyde

View Scopus Profile

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

2 Conference contribution book
2 Article
1 Conference Contribution

2 results

Filter

2017
Type-and-scope safe programs and their proofs
Allais, G., Chapman, J., McBride, C. & McKinna, J., 16 Jan 2017, CPP 2017 : Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs. Bertot, Y. & Vafeiadis, V. (eds.). New York, 13 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

Open Access
File
18 Citations (Scopus)

85 Downloads (Pure)
2019
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 proceeding › Conference contribution book

Open Access
File
8 Downloads (Pure)