摘要: This chapter presents a functional language micro-ML, small subset of ML or F#. A programming is one in which the evaluation expressions and function calls primary means computation. pure cannot have side effects, such as changing value variables, printing to console. The micro-ML first-order, that functions be used values. Chapter 5 higher-order language, can values
springer.com
sci-hub.st 参考文章(20)
J. McCarthy, Recursive Functions of Symbolic Expressions Springer Berlin Heidelberg. pp. 175- 186 ,(1983) , 10.1007/978-3-662-09507-2_11
Xavier Leroy, The ZINC experiment : an economical implementation of the ML language INRIA. pp. 100- ,(1990)
Mads Tofte, Robin Milner, Robert Harper, David MacQueen, The Definition of Standard ML (Revised) MIT Press. ,(1997)
Flemming Nielson, Chris Hankin, Hanne R. Nielson, Principles of program analysis ,(1999)
Simon Peyton Jones, None, Haskell 98 language and libraries : the revised report Cambridge University Press. ,(2003)
John McCarthy, LISP 1.5 Programmer's Manual ,(1962)
Mads Tofte, Mads Tofte, Robert Harper, Robin Milner, The Definition of Standard ML ,(1990)
Patrick Cousot, Radhia Cousot, Abstract interpretation Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '77. pp. 238- 252 ,(1977) , 10.1145/512950.512973
John McCarthy, Recursive functions of symbolic expressions and their computation by machine, Part I Communications of the ACM. ,vol. 3, pp. 184- 195 ,(1960) , 10.1145/367177.367199
Peter Naur, Checking of operand types in algol compilers Bit Numerical Mathematics. ,vol. 5, pp. 151- 163 ,(1965) , 10.1007/BF01940219