3 results
Denotational semantics as a foundation for cost recurrence extraction for functional languages
-
- Journal:
- Journal of Functional Programming / Volume 32 / 2022
- Published online by Cambridge University Press:
- 05 July 2022, e8
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Harold Simmons. Derivation and computation. Taking the Curry-Howard correspondence seriously. Cambridge tracts in theoretical computer science, vol. 51. Cambridge University Press, Cambridge, New York, etc., 2000, xxv + 384 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 380-383
- Print publication:
- September 2001
-
- Article
- Export citation
Stratified polymorphism and primitive recursion
-
- Journal:
- Mathematical Structures in Computer Science / Volume 9 / Issue 4 / August 1999
- Published online by Cambridge University Press:
- 01 August 1999, pp. 507-522
-
- Article
- Export citation