A simple applicative language: Mini-ML

Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986

Volumn , Issue , 1986, Pages 13-27

  Clément, Dominique ^a   Despeyroux, Joëlle ^b   Despeyroux, Thierry ^b   Kahn, Gilles ^b  

^a Sophia Antipolis ^*  (France)

^b INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

LISP (PROGRAMMING LANGUAGE); SEMANTICS;

ABSTRACT MACHINES; FORMAL DESCRIPTION; NATURAL SEMANTICS;

FUNCTIONAL PROGRAMMING;

EID: 85035024699     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/319838.319847     Document Type: Conference Paper

References (15)

1. Cardelm L., "Bas, Polymorph, Type-checking", Polymorphism, January 1985.
2. Clément D., J. Despeyroux, T. Despeyroux, L. HASCOET, G.KAHN, "Natural Semantics on the Computer", INRIA Research Report RR 416, INRIA-Sophia-Antipolis, June 1985.
3. 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.
4. Damas L., R. Milner, "Principal type-schemes for functional programs", Proceedings of the ACM Conference on Principles of Programming Languages 1982, pp.207-212.
5. Despeyroux J., "Proof of Translation in Natural Semantics", Symposium on Log, in Computer Science, Cambridge, Massachussets, June 1986.
6. Despeyroux T., "Executable Specification of Stat, Semantics", Semantics of Data Types, Lecture Notes in Computer Science, Vol. 173, June 1984.
7. Gordon M., R. Milner, C. Wadsworth, G. Cousineau, G. Huet, L. Paulson, "The ML Handbook, Version 5.1", INRIA, October 1984.
8. G. HUET "Computation and Deduction", Carnegie Mellon Course Notes, CMU, 1986.
9. MACCraCKEN N. "The type checking of Programs with implicit type structure", Semantics of Data Types, Lecture Notes in Computer Science n.173, Springer-Verlag 1984.
10. macqueen D.B., "Modules for standard ML", ACM Symposium on LISP and Functional Programming, 1984, pp.198-207.
11. [11| MlLNER R. "A Theory of Type Polymorphism in Programming", Journal of Computer and System Sciences, n.17, 1978, pp.348-375.
12. MYCROFT A. "Polymorph, Type Schemes and Recursive Definitions", Sixth International Symposium on Programming, LNCS 167, 1984.
13. plotkin G.D., "A Structural Approach to Operational Semantics", DAIMI FN-19, Computer Science Department, Aarhus University, Aarhus, Denmark, September 1981.
14. REYNOLDS J.C., "Three Approaches to Type Structure", Proceedings TAPSOFT, Lecture Notes in Computer Science, Vol. 185, March 1985.
15. warren D.H.D., "Log, Programming and Compiler writing", Software-Practice and Experience, 10, 1980, pp.97-125.