2 results
Semantic analysis of normalisation by evaluation for typed lambda calculus
-
- Journal:
- Mathematical Structures in Computer Science / Volume 32 / Issue 8 / September 2022
- Published online by Cambridge University Press:
- 22 November 2022, pp. 1028-1065
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Dynamic overloading with copy semantics in object-oriented languages: a formal account
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 43 / Issue 3 / July 2009
- Published online by Cambridge University Press:
- 12 March 2009, pp. 517-565
- Print publication:
- July 2009
-
- Article
- Export citation