8 results
Romeo: A system for more flexible binding-safe programming*
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 26 / 2016
- Published online by Cambridge University Press:
- 22 July 2016, e13
-
- Article
-
- You have access
- Export citation
Strong normalization with non-structural subtyping
-
- Journal:
- Mathematical Structures in Computer Science / Volume 5 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 04 March 2009, pp. 419-429
-
- Article
- Export citation
Preface
-
- Journal:
- Mathematical Structures in Computer Science / Volume 2 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 04 March 2009, p. 359
-
- Article
- Export citation
Introduction
-
- Journal:
- Journal of Functional Programming / Volume 4 / Issue 2 / April 1994
- Published online by Cambridge University Press:
- 07 November 2008, pp. 125-126
-
- Article
-
- You have access
- Export citation
Specifying the correctness of binding-time analysis
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 3 / Issue 3 / July 1993
- Published online by Cambridge University Press:
- 07 November 2008, pp. 365-387
-
- Article
-
- You have access
- Export citation
CPS transformation of flow information
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 5 / September 2003
- Published online by Cambridge University Press:
- 27 August 2003, pp. 905-923
-
- Article
-
- You have access
- Export citation
Set constraints for destructive array update optimization
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 3 / May 2001
- Published online by Cambridge University Press:
- 31 May 2001, pp. 319-346
-
- Article
-
- You have access
- Export citation
Robert Goldblatt. Axiomatising the logic of computer programming. Lecture notes in computer science, vol. 130. Springer-Verlag, Berlin, Heidelberg, and New York, 1982, xi + 304 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 854-855
- Print publication:
- September 1985
-
- Article
- Export citation