2 results
Higher-order functional languages and intensional logic
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 5 / September 1999
- Published online by Cambridge University Press:
- 01 September 1999, pp. 527-564
-
- Article
-
- You have access
- Export citation
First-order functional languages and intensional logic
-
- Journal:
- Journal of Functional Programming / Volume 7 / Issue 1 / January 1997
- Published online by Cambridge University Press:
- 01 January 1997, pp. 73-101
-
- Article
-
- You have access
- Export citation