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

Research Output 2014 2019

  • 2 Conference contribution book
  • 1 Paper
  • 1 Article
2019
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
File
Substitution reactions
Mathematical operators
2018
48 Downloads (Pure)

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
File
Computer programming languages
Semantics
Substitution reactions
Binders
Printing
2017
12 Citations (Scopus)
78 Downloads (Pure)

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 proceedingConference contribution book

Open Access
File
Printing
Substitution reactions
Fusion reactions
2014
29 Downloads (Pure)

Views of pi: definition and computation

Bertot, Y. & Allais, G., 2014, In : Journal of Formalized Reasoning. 7, 1, p. 105-129 25 p.

Research output: Contribution to journalArticle

Open Access
File
Pi
Regular polygon
Formal Proof
Odd number
Perimeter