Natural semantics

1. Cardelli L., “Basic Polymorphic Type-checking”, Polymorphism, January 1985.

   Google Scholar 

2. Clément D. “The Natural Dynamic Semantics of Mini-Standard ML”, to appear in Proceedings CFLP, Pisa, March 1987.

   Google Scholar 

3. Clément D., J. Despeyroux, Th. Despeyroux, G. Kahn, “A simple applicative language: Mini-ML”, Proceedings of the ACM Conference on Lisp and Functional Programming 1986.

   Google Scholar 

4. Cousineau G., P. L. Curien, M. Mauny, “The Categorical Abstract Machine”, in Functional Languages and Computer Architecture, Lecture Notes in Computer Science, Vol. 201, September 1985.

   Google Scholar 

5. Curry H.B., R. Feys, Combinatory Logic, Volume I, North-Holland Publishing Company, 1958.

   Google Scholar 

6. Damas L., R. Milner, “Principal type-schemes for functional programs”, Proceedings of the ACM Conference on Principles of Programming Languages 1982, pp.207–212.

   Google Scholar 

7. Despeyroux J., “Proof of Translation in Natural Semantics”, Proceedings of the First ACM Conference on Logic in Computer Science, LICS 1986.

   Google Scholar 

8. Despeyroux T., “Executable Specification of Static Semantics”, Semantics of Data Types, Lecture Notes in Computer Science, Vol. 173, June 1984.

   Google Scholar 

9. Despeyroux T., “Spécifications sémantiques dans le système MENTOR”, Thèse, Université Paris XI, 1983.

   Google Scholar 

10. Donzeau-Gouge V., “Utilisation de la sémantique dénotationnelle pour la description d'interprétation non-standard: application à la validation et à l'optimisation des programmes”, Proceedings of the 3rd International Symposium on Programming, Dunod, Paris, 1978.

    Google Scholar 

11. Gordon M., R. Milner, C. Wadsworth, G. Cousineau, G. Huet, L. Paulson, “The ML Handbook, Version 5.1”, INRIA, October 1984.

    Google Scholar 

12. Hascoet L., “Transformations automatiques de spécifications sémantiques. Application: un vérificateu: de types incrémental” Thèse, To appear, Université de Nice, 1987.

    Google Scholar 

13. Heering J., J. Sidi, A. Verhoog (eds), “Generation of interactive programming environments — GIPE intermediate report“, CWI Report CS-R8620, Amsterdam, May 1986.

    Google Scholar 

14. MacQueen D.B., “Modules for standard ML”, ACM Symposium on LISP and Functional Programming, 1984, pp.198–207.

    Google Scholar 

15. Mauny M. “Compilation des langages fonctionnels dans les combinateurs catégoriques. Application au langage ML”, Thèse, Université Paris 7, 1985.

    Google Scholar 

16. Mosses P., “SIS: a compiler generator system using denotational semantics”, DAIMI, University of Aarhus, August 1979.

    Google Scholar 

17. Naish L., Negation and Control in Prolog, Lecture Notes in Computer Science, Vol. 238, 1986.

    Google Scholar 

18. Prawitz D., “Ideas and results in proof theory”, Proceedings of the Second Scandinavian Logic Symposium, 1971, North-Holland.

    Google Scholar 

19. Plotkin G.D., “A Structural Approach to Operational Semantics”, DAIMI FN-19, Computer Science Department, Aarhus University, Aarhus, Denmark, September 1981.

    Google Scholar 

20. Reynolds J.C., “Three Approaches to Type Structure”, Proceedings TAPSOFT, Lecture Notes in Computer Science, Vol. 185, March 1985.

    Google Scholar 

21. Warren D.H.D., “Logic Programming and Compiler writing”, Software-Practice and Experience, 10, 1980, pp.97–125.

    Google Scholar 

Download references