By Robert Harper
Read Online or Download Programming in Standard ML PDF
Similar software books
On behalf of the PROFES Organizing Committee we're proud to provide the proce- th ings of the eleven foreign convention on Product-Focused software program technique development (PROFES 2010), held in Limerick, eire. because the first convention in 1999 the convention has proven its position within the software program engineering neighborhood as a revered convention that brings jointly contributors from academia and undefined.
The ebook constitutes the refereed court cases of the eleventh overseas convention on software program Composition, SC 2012, held in Prague, Czech Republic, in May/June 2012, co-located with instruments 2012 Federated meetings. The 12 revised complete papers have been conscientiously reviewed and chosen from forty two submissions for inclusion within the ebook.
Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings
ETAPS 2001 was once the fourth example of the eu Joint meetings on thought and perform of software program. ETAPS is an annual federated convention that used to be tested in 1998 via combining a couple of current and new meetings. This yr it comprised ve meetings (FOSSACS, FASE, ESOP, CC, TACAS), ten satellite tv for pc workshops (CMCS, ETI Day, JOSES, LDTA, MMAABS, PFM, RelMiS, UNIGRA, WADT, WTUML), seven invited lectures, a debate, and ten tutorials.
- A semester course in trigonometry
- Safety and Reliability of Software Based Systems: Twelfth Annual CSR Workshop (Bruges, 12–15 September 1995)
- Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings
- Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceed
Extra resources for Programming in Standard ML
In chapter 2 we said that a typing assertion has the form exp : typ, and that an evaluation assertion has the form exp ⇓ val. While two-place typing and evaluation assertions are sufficient for closed expressions (those without variables), we must extend these relations to account for open expressions (those with variables). Each must be equipped with an environment recording information about type constructors and variables introduced by declarations. 2 We may think of typenv as a sequence of specifications of one of the following two forms: 1.
0} invokes this function with the indicated x and y values. Functions with multiple results may be thought of as functions yielding tuples (or records). 3 Multiple Arguments and Multiple Results 49 fun dist2 (x:real, y:real):real*real = (sqrt (x*x+y*y), abs(x-y)) Notice that the result type is a pair, which may be thought of as two results. These examples illustrate a pleasing regularity in the design of ML. Rather than introduce ad hoc notions such as multiple arguments, multiple results, or keyword parameters, we make use of the general mechanisms of tuples, records, and pattern matching.
Each must be equipped with an environment recording information about type constructors and variables introduced by declarations. 2 We may think of typenv as a sequence of specifications of one of the following two forms: 1. type typvar = typ 2. val var : typ Note that the second form does not include the binding for var, only its type! Evaluation assertions are generalized to have the form valenv exp ⇓ val where valenv is a value environment that records the bindings of the variables that may occur in exp.