programming in standard ml

<< /S /GoTo /D (chapter*.1) >> << /S /GoTo /D (section.26.4) >> (19 Signature Matching) 157 0 obj << /S /GoTo /D (chapter.25) >> endobj 505 0 obj 356 0 obj Tips for Computer Scientists on Standard ML (Revised). (13.5.2 Mutable Data Structures) endobj endobj (20.2 Opaque Ascription) It is supplemented by the Standard ML … 205 0 obj Wikidata: Q597330 << /S /GoTo /D (section.27.2) >> Standard ML is a general-purpose, modular, functional programming language with compile-time type checking and type inference. << /S /GoTo /D (section.15.2) >> It began life as a set of lecture notes for Computer Science 15–212: Principles of Programming, the second semester of the introductory sequence in the undergraduate computer science curriculum at Carnegie Mellon University. (19.3 Satisfaction) Standard ML consists of a core language for small-scale programming and a module system for large-scale programming. 768 0 obj endobj endobj << /S /GoTo /D (subsection.5.1.2) >> << /S /GoTo /D (section.8.2) >> endobj 257 0 obj endobj ML of New Jersey compiler. 748 0 obj << /S /GoTo /D (section.6.2) >> endobj endobj 472 0 obj << /S /GoTo /D (section.19.3) >> << /S /GoTo /D (subsection.2.2.1) >> endobj (26.5 Abstracting Induction) It is a statically typed language, with an extensible type system. This is a shocking fact because Standard ML is a much more sophisticated language than Pascal. (31.2 Laziness) (The Standard ML Basis Library) %PDF-1.4 340 0 obj << /S /GoTo /D (section.31.5) >> 12 0 obj << /S /GoTo /D (section.6.3) >> (29.4 Solution Using Continuations) endobj 336 0 obj endobj endobj Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. 212 0 obj Programming in Standard ML (PDF). endobj endobj 688 0 obj (23.4 Sample Code) << /S /GoTo /D (section.3.1) >> << /S /GoTo /D (subsection.13.5.2) >> (For users at Carnegie Mellon, see the CMU endobj 697 0 obj 56 0 obj << /S /GoTo /D (part.2) >> endobj 217 0 obj endobj << /S /GoTo /D (subsection.18.2.1) >> (20.4 Transparency, Opacity, and Dependency) 285 0 obj endobj 553 0 obj (3.6 Sample Code) 640 0 obj (19.1 Principal Signatures) Standard ML is a formally dened programming language. 701 0 obj 528 0 obj (5.4 Sample Code) endobj 413 0 obj endobj Publication date 2011 Topics ml, computer-science, education, programming, computer science Publisher Carnegie Mellon University Collection opensource_textbooks; additional_collections Contributor hst Language English. (22.1 Combining Abstractions) 360 0 obj (5.1.1 Tuples) << /S /GoTo /D (section.31.4) >> 661 0 obj (12.4 Sample Code) 601 0 obj << /S /GoTo /D (section.20.4) >> 125 0 obj 741 0 obj (9.3 Sample Code) 628 0 obj 737 0 obj 1.1 Standard ML The Standard ML programming … << /S /GoTo /D (subsection.12.1.1) >> (Sample Programs) << /S /GoTo /D (chapter.10) >> << /S /GoTo /D (chapter.17) >> << /S /GoTo /D (section.13.5) >> 40 0 obj Lessons from the design of a Standard ML library Dave Berry Journal of Functional Programming (1993), 3: 527-552 DOI: 10.1017/S0956796800000873 Big lists of links to SML libraries Lucas Dixon's list of SML libraries (maintained for the Poly/ML … endobj 93 0 obj endobj 524 0 obj endobj 588 0 obj 769 0 obj endobj endobj 213 0 obj 37 0 obj endobj << /S /GoTo /D (section.21.2) >> endobj << /S /GoTo /D (section.4.1) >> 536 0 obj endobj 61 0 obj M. Tofte. endobj 192 0 obj In this author’s opinion, the Standard ML programming language provides the most carefully designed and constructed attempt so far to develop a language to promote the relative virtues embodied in well-designed applicative and imperative program-ming languages. endobj (10.1 Datatype Declarations) 749 0 obj 164 0 obj endobj 8 0 obj Harper, and David MacQueen (MIT Press, 1997) constitutes the official endobj (28.3 Sample Code) 133 0 obj << /S /GoTo /D (part.3) >> 552 0 obj endobj 500 0 obj << /S /GoTo /D (chapter.15) >> (28 Persistent and Ephemeral Data Structures) endobj (2.2.2 Evaluation) 280 0 obj 345 0 obj 680 0 obj << /S /GoTo /D (section.1.1) >> (6 Case Analysis) endobj << /S /GoTo /D (subsection.18.2.2) >> 476 0 obj It is a statically typed language, with an extensible type system. endobj 616 0 obj << /S /GoTo /D (section.19.4) >> (28.1 Persistent Queues) definition of the language. 117 0 obj 545 0 obj (Preface) (11.4 Patterns of Control) << /S /GoTo /D (section.2.4) >> endobj endobj (21.2 Sample Code) ML is statically-scoped. (13 Mutable Storage) 700 0 obj endobj (10.6 Sample Code) 53 0 obj It is supplemented by the Standard ML Basis Library , which denes a com-mon basis of types that are shared by all implementations of the language. endobj 696 0 obj endobj endobj 724 0 obj << /S /GoTo /D (chapter.2) >> endobj << /S /GoTo /D (section.10.3) >> 28 0 obj (7.1 Self-Reference and Recursion) 457 0 obj << /S /GoTo /D (section.10.2) >> 448 0 obj endobj 685 0 obj << /S /GoTo /D (section.29.5) >> 761 0 obj 620 0 obj 509 0 obj endobj It's actually bad enough that it bothers me there's not more Standard ML books out there so people would stop mentioning it. endobj << /S /GoTo /D (section.18.1) >> These notes are intended as a brief introduction to Standard ML (1997 517 0 obj (2.2 The ML Computation Model) endobj 136 0 obj 408 0 obj << /S /GoTo /D (section.24.3) >> << /S /GoTo /D (section.12.4) >> 452 0 obj 493 0 obj endobj 468 0 obj (36.3 Building Systems with CM) endobj (I Overview) << /S /GoTo /D (chapter.31) >> A short summary of this paper. (16.1 Sample Code) (12.1 Exceptions as Errors) 669 0 obj (30.3 Sample Code) 652 0 obj 765 0 obj endobj 660 0 obj Find books << /S /GoTo /D (chapter.29) >> << /S /GoTo /D (chapter.1) >> It is supplemented by the Standard ML Basis Library , which denes a … 333 0 obj (12.3 Value-Carrying Exceptions) 728 0 obj 296 0 obj << /S /GoTo /D (chapter.18) >> It is a statically typed language, with an extensible type system. 308 0 obj endobj Download Full PDF Package. CiteSeerX - Document Details (Isaac Councill, Lee Giles, Pradeep Teregowda): This book is an introduction to programming with the Standard ML programming language. (31.1 Cacheing Results) endobj endobj 201 0 obj endobj << /S /GoTo /D (section.12.1) >> 169 0 obj << /S /GoTo /D (section.11.3) >> 556 0 obj F�. (13.2 Reference Patterns) endobj Programming in Standard ML 1.1 A Regular Expression Package To develop a feel for the language and how it is used, let us consider the implementation of a package for matching strings against regular … 480 0 obj 64 0 obj (32.5 Sample Code) endobj It supports polymorphic type inference, which all but eliminates the burden of specifying types … 720 0 obj It is known for its use of the polymorphic Hindley–Milner type system, which automatically assigns the types of most expressions without requiring explicit type annotations, and ensures type safety – there is a formal proof that a well-typed ML program does not cause runtime type errors. (7 Recursive Functions) The Standard ML core language is not a pure applicative … (31.3 Lazy Data Types in SML/NJ) << /S /GoTo /D (section.11.6) >> endobj << /S /GoTo /D (chapter.34) >> << /S /GoTo /D (section.11.5) >> endobj endobj endobj (19.4 Sample Code) (13.3 Identity) endobj endobj 744 0 obj endobj (23.3 Avoiding Sharing Specifications) (3.4 Limiting Scope) (26 Structural Induction) 17 0 obj endobj (10.5 Abstract Syntax) Programming in Standard ML. endobj endobj endobj 568 0 obj available here. endobj << /S /GoTo /D (chapter.35) >> (27 Proof-Directed Debugging) Programming in Standard ML. 608 0 obj 625 0 obj (23.1 Functor Bindings and Applications) (33 Representation Independence and ADT Correctness) endobj 537 0 obj endobj << /S /GoTo /D (chapter.3) >> (19.2 Matching) endobj (3.2.2 Value Bindings) Computer Science (Sci) Course. (33.1 Sample Code) << /S /GoTo /D (chapter.27) >> endobj endobj endobj 304 0 obj endobj endobj (25.3 Sample Code) 128 0 obj endobj 321 0 obj 656 0 obj endobj 32 Full PDFs related to this paper. Harper, Robert (2011). 477 0 obj (21.1 Substructures) This version of the notes is obsolete! endobj endobj << /S /GoTo /D (chapter*.3) >> Department. (12.1.2 User-Defined Exceptions) 692 0 obj /Length 419 endobj endobj endobj (17 Concurrency) The De-nition of Standard ML (Revised) is the formal denition of the language. 488 0 obj endobj 180 0 obj endobj Introductory guides . endobj (1.2 Sample Code) Standard ML (SML) is a programming language that combines excellent support for rapid prototyping, modularity, and development of large programs, with performance approaching that of C. 436 0 obj endobj and Moscow ML. << /S /GoTo /D (section.6.4) >> 641 0 obj endobj 592 0 obj (25.2 The GCD Algorithm) (15.2 Lazy Function Definitions) READ PAPER. We’ll structure the implementation into two modules, an imple- Standard ML Mini-tutorial (in particular SML/NJ) Programming Languages CS442 David Toman School of Computer Science University of Waterloo David Toman (University of Waterloo) Standard ML 1 / 21 (13.7 Sample Code) 672 0 obj << /S /GoTo /D (section.5.4) >> Standard ML Mini-tutorial (in particular SML/NJ) Programming Languages CS442 David Toman School of Computer Science University of Waterloo David Toman (University of Waterloo) Standard ML 1 / 21 529 0 obj 105 0 obj School. << /S /GoTo /D (chapter.32) >> 704 0 obj (10.3 Recursive Datatypes) (Compilation Management) << /S /GoTo /D (section.7.4) >> 385 0 obj 268 0 obj Programming in Standard ML | Robert Harper | download | B–OK. 309 0 obj 384 0 obj endobj << /S /GoTo /D (section.18.2) >> endobj (10.2 Non-Recursive Datatypes) 241 0 obj 581 0 obj << /S /GoTo /D (section.36.4) >> It is known for its use of the polymorphic Hindley–Milner type system, which automatically assigns the types of most expressions without requiring explicit type annotations, and ensures type safety – there is a formal proof that a well-typed ML program does not cause runtime type errors. 57 0 obj (21 Module Hierarchies) 101 0 obj << /S /GoTo /D (section.5.2) >> endobj endobj Revised 2004-03. Carnegie Mellon University. << /S /GoTo /D (section.28.2) >> endobj << /S /GoTo /D (section.9.1) >> 576 0 obj endobj << /S /GoTo /D (section.19.2) >> endobj 353 0 obj 665 0 obj << /S /GoTo /D (section.10.6) >> 181 0 obj endobj (2.1 Evaluation and Execution) Standard ML. endobj 677 0 obj endobj 141 0 obj endobj endobj Download with Google Download with Facebook. << /S /GoTo /D (section.6.1) >> 104 0 obj 325 0 obj (5.2 Record Types) Concurrent ML is an extension of Standard ML with primitives for concurrent programming; it is available as … 644 0 obj Published on 11 Apr 2012. << /S /GoTo /D (section.26.3) >> endobj << /S /GoTo /D (section.36.3) >> (7.2 Iteration) endobj endobj << /S /GoTo /D (section.22.2) >> endobj Programming in Standard ML - "Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. Tutorial One: Expressions & simple functions ML has a fairly standard set of mathematical and string functions which we will be using initially.Here are a few of them + integer or real addition - integer or … << /S /GoTo /D (part.4) >> << /S /GoTo /D (chapter*.5) >> endobj COMP 302. endobj 36 0 obj endobj endobj endobj << /S /GoTo /D (subsection.3.2.2) >> (9.2 Computing With Lists) 445 0 obj Department of Computer Science, University of Copenhagen, 2009-08-30. (32.1 Dictionaries) 84 0 obj (30 Higher-Order Functions) 312 0 obj endobj endobj Programming in Standard ML. << /S /GoTo /D (section.7.2) >> (5.1 Product Types) endobj 624 0 obj (24 Specifications and Correctness) 20 0 obj (4.3 Binding and Scope, Revisited) endobj endobj (15 Lazy Data Structures) 100 0 obj 564 0 obj 376 0 obj >> endobj (12.1.1 Primitive Exceptions) endobj 328 0 obj endobj 52 0 obj << /S /GoTo /D (chapter.33) >> (36.1 Sample Code) 429 0 obj endobj They began as lecture notes for 15-212: endobj endobj endobj endobj 216 0 obj 653 0 obj 757 0 obj ve times longer than the de nition of Standard ML. endobj endobj 204 0 obj endobj endobj 736 0 obj 752 0 obj Overview Outline 1 Overview 2 Cases and Pattern Matching Tuples Case Analysis 3 Data Types Simple Data Types Recursive Data Types 4 Modules Structures Signatures Modules in Moscow ML 5 Summary Arnd Poetzsch-Heffter (Slides by Jens Brandt) ( Software Technology Group Fachbereich Informatik Technische Universität Kaiserslautern)Programming in Standard ML: Continued Sommersemester … ML for the Working Programmer - by Larry C. Paulson June 1996 Skip to main content Accessibility help We use cookies to distinguish you from other users and to provide you with a … endobj 31 views 293 pages. endobj endobj 441 0 obj endobj endobj endobj 364 0 obj endobj (26.2 Lists) (12.2 Exception Handlers) 193 0 obj (7.3 Inductive Reasoning) 252 0 obj 300 0 obj << /S /GoTo /D (section.23.3) >> (3.3 Compound Declarations) Topics covered includes: Interacting with ML, Polymorphism and Overloading, Exceptions, Basic expressions, values, and types, Identfiers, bindings, and … (22.2 Sample Code) endobj endobj 512 0 obj 760 0 obj Download books for free. ). endobj endobj Standard ML is a functional programming language with type inference and some side-effects. (7.5 Sample Code) 32 0 obj << /S /GoTo /D (chapter.4) >> 73 0 obj << /S /GoTo /D (section.31.1) >> 49 0 obj 513 0 obj Carnegie Mellon University. 693 0 obj (4.1 Functions as Templates) This is very much work in progress, and comments and suggestions are welcome. endobj (24.3 Enforcement and Compliance) 148 0 obj (36.4 Sample Code) (32.3 Balanced Binary Search Trees) endobj It is supplemented by the Standard ML Basis Library, which defines a com- common basis of types that are shared by all implementations of the language. endobj endobj << /S /GoTo /D (section.3.4) >> (20.3 Transparent Ascription) 645 0 obj 24 0 obj 248 0 obj (8 Type Inference and Polymorphism) << /S /GoTo /D (section.26.1) >> 116 0 obj (15.4 Sample Code) endobj (16 Equality and Equality Types) 481 0 obj 352 0 obj << /S /GoTo /D (chapter.22) >> 288 0 obj 721 0 obj A Gentle Introduction to ML. (26.4 Generalizations and Limitations) 380 0 obj 689 0 obj endobj << /S /GoTo /D (section.20.3) >> endobj endobj endobj endobj 348 0 obj (5 Products and Records) Addeddate 2012-11-13 03:36:12 endobj endobj 392 0 obj 681 0 obj widely used. 16 0 obj 349 0 obj << /S /GoTo /D (section.25.2) >> endobj endobj << /S /GoTo /D (section.5.1) >> (18.1 Signatures) << /S /GoTo /D (section.32.4) >> endobj (10 Concrete Data Types) << /S /GoTo /D (section.23.2) >> (35.1 Sample Code) endobj 649 0 obj endobj 109 0 obj << /S /GoTo /D (section.23.1) >> endobj (29.5 Sample Code) endobj 772 0 obj << << /S /GoTo /D (section.26.6) >> 676 0 obj endobj Congying Wang. 273 0 obj endobj << /S /GoTo /D (section.13.6) >> endobj endobj endobj endobj 521 0 obj Publisher: Carnegie Mellon University 2011 Number of pages: 297. 597 0 obj 580 0 obj (20.5 Sample Code) 589 0 obj endobj (18 Signatures and Structures) 753 0 obj Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. 48 0 obj endobj 433 0 obj ML of New Jersey is a comprehensive implementation, and is the most endobj endobj 332 0 obj Standard ML is a formally deﬁned programming language. 717 0 obj … 153 0 obj endobj The Deﬁnition of Standard ML (Revised) is the formal deﬁnition of the language. 668 0 obj 389 0 obj endobj endobj 541 0 obj Standard ML of New Jersey is a comprehensive implementation, and is the most widely used. endobj 72 0 obj endobj endobj endobj 196 0 obj A. Cumming. 673 0 obj << /S /GoTo /D (chapter.8) >> endobj (V Appendices) << /S /GoTo /D (section.5.3) >> (36 Concurrency) endobj 249 0 obj (31.4 Recursive Suspensions) << /S /GoTo /D (section.17.1) >> endobj endobj endobj 404 0 obj 33 0 obj (6.4 Exhaustiveness and Redundancy) endobj Concurrent 89 0 obj 256 0 obj (4.4 Sample Code) (4 Functions) endobj endobj 425 0 obj endobj 261 0 obj 533 0 obj endobj endobj 264 0 obj These notes are an introduction to the Standard ML programming language. endobj endobj << /S /GoTo /D (section.15.4) >> 297 0 obj << /S /GoTo /D (chapter.28) >> ML is a general-purpose functional programming language. 185 0 obj (7.4 Mutual Recursion) endobj A short summary of this paper. 633 0 obj /Filter /FlateDecode This paper. << /S /GoTo /D (section.35.1) >> 412 0 obj endobj endobj 177 0 obj (11 Higher-Order Functions) endobj 284 0 obj endobj (3.5 Typing and Evaluation) (36.2 Overview of CM) Definition of Standard ML (Revised) by Robin Milner, Mads Tofte, Robert endobj Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design.€ It is a statically-typed language, with a user-extensible type system.€ It supports polymorphic type inference, which all but eliminates the burden of specifying types of The programming language Standard ML, also known as SML, is inspired by certain fundamental concepts of Computer Science, making them directly available to the programmer.In particular: Trees and other recursive datatypes may be declared and used without mention of pointers; Functions are values in Standard ML… << /S /GoTo /D (section.1.2) >> endobj 489 0 obj READ PAPER. 97 0 obj Standard (8.2 Polymorphic Definitions) endobj << /S /GoTo /D (chapter.11) >> 484 0 obj 149 0 obj 381 0 obj << /S /GoTo /D (section.12.3) >> (18.2.1 Basic Structures) endobj endobj endobj << /S /GoTo /D (section.18.3) >> endobj (15.1 Lazy Data Types) << /S /GoTo /D (section.21.1) >> endobj Elements of ML Programming… (10.4 Heterogeneous Data Structures) Shelves: functional-programming If this book is ever finished (the draft lacks seven chapters) I will buy it and read it again. Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. endobj << /S /GoTo /D (chapter.7) >> 272 0 obj It supports polymorphic type inference, which all but eliminates the burden of specifying types of variables and greatly facilitates code re-use. 81 0 obj 544 0 obj ML is an extension of Standard ML with primitives for concurrent Some of the hard parts of learning Standard ML are: Recursion, pattern matching, type inference (guessing the right types but never allowing implicit type conversion). (30.2 Circuit Simulation) 292 0 obj 733 0 obj << /S /GoTo /D (chapter.14) >> 20 Full PDFs related to this paper. (13.4 Aliasing) endobj endobj Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is supplemented by the Standard ML Basis Library , which deﬁnes a com- mon basis of types that are shared by all implementations of the language. 612 0 obj 124 0 obj << /S /GoTo /D (section.14.2) >> endobj Download. endobj endobj 316 0 obj endobj Programming in Standard ML (2011) [pdf] (cmu.edu) 66 points by networked on June 5, 2015 | hide | past | web | favorite | 19 comments vtuulos on June 5, 2015 endobj 492 0 obj 265 0 obj << /S /GoTo /D (section.13.3) >> 208 0 obj free trailer Programming in Standard ML Text File Programming in Standard ML Carnegie Mellon School ofStandard ML is a type safe programming language that embodies many innovative ideas in programming language design It is a statically typed language, with an extensible type system It supports polymorphic type inference, which all but eliminat. << /S /GoTo /D (section.20.5) >> (31.5 Sample Code) << /S /GoTo /D (section.10.1) >> Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers. 540 0 obj 764 0 obj endobj endobj endobj endobj endobj endobj 184 0 obj << /S /GoTo /D (section.15.1) >> (32 Data Abstraction) ML ("Meta Language") is a general-purpose functional programming language.ML is statically-scoped. << /S /GoTo /D (section.20.2) >> endobj 137 0 obj 88 0 obj 372 0 obj endobj (30.1 Infinite Sequences) endobj endobj << /S /GoTo /D (section.19.1) >> (27.3 Sample Code) 560 0 obj 637 0 obj endobj endobj 497 0 obj endobj 344 0 obj 469 0 obj Sourabh Rana. 120 0 obj 9 0 obj << /S /GoTo /D (subsection.5.1.1) >> 465 0 obj (31 Memoization) 45 0 obj 657 0 obj endobj 504 0 obj 725 0 obj (14.2 Sample Code) 712 0 obj endobj endobj endobj 632 0 obj endobj << /S /GoTo /D (section.11.4) >> (34.1 Sample Code) 388 0 obj << /S /GoTo /D (section.34.1) >> (29.1 The n-Queens Problem) << /S /GoTo /D (section.26.2) >> Standard ML (SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference. 596 0 obj ML for the Working Programmer assumes a little more programming experience than Elements of ML Programming… Programming in Standard ML. 432 0 obj (13.5.1 Private Storage) 60 0 obj endobj endobj It is a statically-typed language, with a user-extensible type system. stream (2.5 Sample Code) ML Basis Library, which defines a common basis of types that are shared endobj 501 0 obj endobj 156 0 obj 409 0 obj 573 0 obj 453 0 obj endobj endobj endobj 525 0 obj They have subsequently been used in endobj endobj endobj (24.2 Correctness Proofs) It's a muddled mess in comparison and I would not advise it to anyone over Ullman's Elements of ML Programming or Harper's Programming in Standard ML. endobj << /S /GoTo /D (subsection.3.2.1) >> (3.2 Basic Bindings) Programming in Standard ML by Robert Harper. << /S /GoTo /D (section.13.1) >> << /S /GoTo /D (section.24.2) >> 636 0 obj (12 Exceptions) endobj << /S /GoTo /D (section.31.3) >> 508 0 obj << /S /GoTo /D (chapter.20) >> (18.3 Sample Code) endobj endobj Description: This book is an introduction to programming with the Standard ML programming language. 209 0 obj Programming in Standard ML by Robert Harper. 365 0 obj endobj 197 0 obj 572 0 obj (2.2.1 Type Checking) 108 0 obj << /S /GoTo /D (section.29.1) >> endobj 417 0 obj 621 0 obj endobj 168 0 obj 460 0 obj (8.3 Overloading) << /S /GoTo /D (section.3.3) >> endobj << /S /GoTo /D (section.2.1) >> 80 0 obj 473 0 obj 200 0 obj 485 0 obj endobj << /S /GoTo /D (section.30.1) >> endobj 301 0 obj It supports polymorphic type inference, which all but eliminates the burden of specifying types … endobj Wikipedia. (26.3 Trees) endobj tation of Standard Pascal [WH86] is ﬁve times longer than the deﬁnition of Standard ML. ML for the Working Programmer, Lawrence Paulson, Cambridge University Press 1991, 1996, ISBN 0-521-57050-6. 705 0 obj << /S /GoTo /D (section.6.5) >> From the preface: The impetus behind these notes was the desire to provide a cohesive description of Standard ML of New Jersey, an interactive compiler and environment for Standard ML… << /S /GoTo /D (section.20.1) >> 341 0 obj 565 0 obj 593 0 obj (29.3 Solution Using Exceptions) (9.1 List Primitives) 732 0 obj xڍSɊ�0��W�hC\S��d�ɞa�!�$'�4�i��i��H�p��`x��W�J%R?RD�hQ�{ endobj endobj endobj 396 0 obj << /S /GoTo /D (chapter.23) >> << /S /GoTo /D (section.25.3) >> 145 0 obj (8.1 Type Inference) endobj << /S /GoTo /D (section.4.3) >> 416 0 obj endobj Books Several textbooks on SML programming are available. 569 0 obj 165 0 obj << /S /GoTo /D (section.23.4) >> endobj 420 0 obj 220 0 obj (17.1 Sample Code) endobj << /S /GoTo /D (subsection.2.2.2) >> (11.3 Returning Functions) 44 0 obj 464 0 obj << /S /GoTo /D (section.31.2) >> << /S /GoTo /D (section.11.2) >> endobj (3.1 Variables) endobj Introduction to Standard ML. (IV Programming Techniques) endobj endobj endobj endobj endobj 393 0 obj 648 0 obj << /S /GoTo /D (chapter.26) >> << /S /GoTo /D (section.32.5) >> endobj << /S /GoTo /D [770 0 R /Fit ] >> << /S /GoTo /D (section.9.2) >> McGill University. harper-programming-in-standard-ml.pdf. endobj (25 Induction and Recursion) << /S /GoTo /D (part.5) >> 85 0 obj (18.1.1 Basic Signatures) endobj programming; it is available as part of the Standard 121 0 obj 269 0 obj endobj 437 0 obj 21 0 obj S. Gilmore. endobj Commentary on Standard ML discusses some of the decisions that went into endobj << /S /GoTo /D (subsection.12.1.2) >> << /S /GoTo /D (section.7.1) >> << /S /GoTo /D (chapter.36) >> endobj endobj (23.2 Functors and Sharing Specifications) endobj Programming in Standard ML. endobj 561 0 obj endobj 68 0 obj 745 0 obj endobj endobj << /S /GoTo /D (chapter.6) >> 289 0 obj (6.1 Homogeneous and Heterogeneous Types) endobj << /S /GoTo /D (section.4.2) >> 237 0 obj (24.1 Specifications) 188 0 obj endobj << /S /GoTo /D (chapter.19) >> (1 Programming in Standard ML) endobj to Standard ML, which has been widely circulated over the last ten endobj the introductory sequence in the undergraduate computer science curriculum at (18.1.2 Signature Inheritance) Create a free account to download. It supports polymorphic type inference, which all but eliminates the burden of specifying types of vari-ables and greatly facilitates code re-use. endobj This is a shocking fact because Standard ML is a much more sophisticated language than Pascal. endobj << /S /GoTo /D (section.8.3) >> It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers. 617 0 obj 605 0 obj endobj 709 0 obj endobj (3.2.1 Type Bindings) 609 0 obj Inception Year: 1984 Dialect of: ML Aliases: SML. SML is a modern dialect of ML, the programming language used in the Logic for Computable Functions theorem-proving project. endobj 77 0 obj 684 0 obj << /S /GoTo /D (chapter.13) >> << /S /GoTo /D (chapter.24) >> 440 0 obj << /S /GoTo /D (section.11.1) >> 244 0 obj The Deﬁ- nition of Standard ML (Revised) is the formal deﬁnition of the language. 224 0 obj 260 0 obj It is a statically-typed language, with a user-extensible type system. endobj << /S /GoTo /D (section.4.4) >> << /S /GoTo /D (section.8.4) >> or. << /S /GoTo /D (chapter.12) >> << /S /GoTo /D (section.36.2) >> << /S /GoTo /D (section.28.3) >> endobj 421 0 obj 293 0 obj endobj 428 0 obj (34 Modularity and Reuse) << /S /GoTo /D (section.33.1) >> 65 0 obj 577 0 obj 113 0 obj << /S /GoTo /D (part.1) >> (11.1 Functions as Values) 281 0 obj 176 0 obj endobj It supports polymorphic type inference, which all but eliminates the burden of specifying types of variables and greatly facilitates code re-use. An important propriety of CPNs is the way they combine the capabilities of monochrome Petri nets with the support of a high-level programming language, such as the Standard ML [26]. << /S /GoTo /D (section.13.4) >> There are two other implementations, MLKit and Moscow ML . These notes are intended to supersede my Introduction The current version is endobj << /S /GoTo /D (section.27.1) >> 449 0 obj endobj endobj endobj Included is a set of notes for programming Standard ML of New Jersey. endobj OC38423. Programming in Standard ML 1.1 A Regular Expression Package To develop a feel for the language and how it is used, let us consider the implementation of a package for matching strings against regular expres-sions. (3 Declarations) endobj endobj << /S /GoTo /D (section.28.1) >> endobj It is supplemented by the Standard endobj (5.3 Multiple Arguments and Multiple Results) It doesn't only teaches how to program in Standard ML, it also teaches the fundamental mathematics behind functional programming … (III The Module Language) << /S /GoTo /D (section.7.5) >> endobj endobj (11.6 Sample Code) endobj (32.2 Binary Search Trees) endobj 228 0 obj endobj endobj 225 0 obj << /S /GoTo /D (section.3.6) >> Standard ML is a formally dened programming language. (20 Signature Ascription) 613 0 obj << /S /GoTo /D (section.32.3) >> << /S /GoTo /D (chapter.9) >> endobj endobj Brigitte Pientka. 152 0 obj 221 0 obj 29 0 obj Fundamental Principles of Computer Science II, the second semester of 161 0 obj endobj endobj endobj 373 0 obj 729 0 obj 129 0 obj The Defi- Definition of Standard ML (Revised) is the formal definition of the language. 245 0 obj Standard ML is a formally defined programming language. endobj 405 0 obj Download Full PDF Package. << /S /GoTo /D (section.3.2) >> endobj 76 0 obj endobj endobj << /S /GoTo /D (chapter.30) >> << /S /GoTo /D (section.32.1) >> endobj << /S /GoTo /D (section.7.3) >> There are several implementations of Standard ML available for a variety of 369 0 obj (6.3 Booleans and Conditionals, Revisited) (32.4 Abstraction vs. Run-Time Checking) (18.2 Structures) Programming in Standard ML '97: An On-line Tutorial. The De-nition of Standard ML (Revised) is the formal denition of the language. endobj endobj (29.2 Solution Using Options) endobj << /S /GoTo /D (subsection.18.1.2) >> 240 0 obj 313 0 obj << /S /GoTo /D (section.27.3) >> 444 0 obj endobj 112 0 obj endobj (15.3 Programming with Streams) 173 0 obj endobj 233 0 obj by all implementations of Standard ML. 229 0 obj 172 0 obj << /S /GoTo /D (subsection.13.5.1) >> endobj (14 Input/Output) 532 0 obj 557 0 obj 629 0 obj << /S /GoTo /D (section.10.4) >> Reactive Programming in Standard ML Riccardo R. Pucella Bell Laboratories Lucent Technologies 600 Mountain Avenue Murray Hill, NJ 07974 USA riccardo@research.bell-labs.com Abstract Reactive systems are systems that maintain an ongoing interaction with their environment, activated by receiving input events from the environment and producing output (28.2 Amortized Analysis) (27.2 Specifying the Matcher) 320 0 obj 361 0 obj << /S /GoTo /D (section.36.1) >> local guide for information about using Standard ML. 664 0 obj << /S /GoTo /D (section.2.5) >> 716 0 obj endobj (13.5 Programming Well With References) (11.2 Binding and Scope) endobj endobj << /S /GoTo /D (section.22.1) >> (35 Dynamic Typing and Dynamic Dispatch) endobj It doesn't only teaches how to program in Standard ML, it also teaches the fundamental mathematics behind functional programming and how to use them to write correct programs and to proof that they are correct besides some classical functional programming techniques. << /S /GoTo /D (chapter.21) >>