Elementary Standard ML PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Elementary Standard ML PDF full book. Access full book title Elementary Standard ML by G Michaelson. Download full books in PDF and EPUB format.
Author: G Michaelson
Publisher: CRC Press
ISBN: 1482286947
Category : Computers
Languages : en
Pages : 310
Get Book
Book Description
This book is concerned with programming in the language Standard ML (SML), that is using SML to make precise models for computer animation. It draws on the distinction between programming in the small and in the large, plumping exclusively for the former.
Author: G Michaelson
Publisher: CRC Press
ISBN: 1482286947
Category : Computers
Languages : en
Pages : 310
Get Book
Book Description
This book is concerned with programming in the language Standard ML (SML), that is using SML to make precise models for computer animation. It draws on the distinction between programming in the small and in the large, plumping exclusively for the former.
Author: Greg Michaelson
Publisher:
ISBN: 9781315273587
Category : Functional programming (Computer science)
Languages : en
Pages : 297
Get Book
Book Description
Author: Robin Milner
Publisher: MIT Press
ISBN: 9780262631815
Category : Computers
Languages : en
Pages : 132
Get Book
Book Description
Software -- Programming Languages.
Author: Åke Wikström
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 472
Get Book
Book Description
Author: Colin Myers
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 320
Get Book
Book Description
Software -- Programming Languages.
Author: Greg Michaelson
Publisher: Courier Corporation
ISBN: 0486478831
Category : Mathematics
Languages : en
Pages : 338
Get Book
Book Description
This well-respected text offers an accessible introduction to functional programming concepts and techniques for students of mathematics and computer science. The treatment is as nontechnical as possible, assuming no prior knowledge of mathematics or functional programming. Numerous exercises appear throughout the text, and all problems feature complete solutions. 1989 edition.
Author: Lawrence C. Paulson
Publisher:
ISBN: 9780521422253
Category : Computers
Languages : en
Pages : 429
Get Book
Book Description
This new edition of a successful text treats modules in more depth, and covers the revision of ML language.
Author: Jörg Desel
Publisher: Springer Science & Business Media
ISBN: 3540222618
Category : Mathematics
Languages : en
Pages : 857
Get Book
Book Description
This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area. This book will be useful as both a reference for those working in the area as well as a study book for the reader who is interested in an up-to-date overview of research and development in concurrent and distributed systems; of course, readers specifically interested in theoretical or applicational aspects of Petri nets will appreciate the book as well.
Author: Emden R. Gansner
Publisher: Cambridge University Press
ISBN: 9781139451406
Category : Computers
Languages : en
Pages : 486
Get Book
Book Description
The book provides a description of the Standard ML (SML) Basis Library, the standard library for the SML language. For programmers using SML, it provides a complete description of the modules, types and functions composing the library, which is supported by all conforming implementations of the language. The book serves as a programmer's reference, providing manual pages with concise descriptions. In addition, it presents the principles and rationales used in designing the library, and relates these to idioms and examples for using the library. A particular emphasis of the library is to encourage the use of SML in serious system programming. Major features of the library include I/O, a large collection of primitive types, support for internationalization, and a portable operating system interface. This manual will be an indispensable reference for students, professional programmers, and language designers.
Author: John C. Reynolds
Publisher: Cambridge University Press
ISBN: 1139936255
Category : Computers
Languages : en
Pages : 514
Get Book
Book Description
First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying and proving programme behaviour. Both imperative and functional programming are covered, as well as the ways of integrating these aspects into more general languages. Recognising a unity of technique beneath the diversity of research in programming languages, the author presents an integrated treatment of the basic principles of the subject. He identifies the relatively small number of concepts, such as compositional semantics, binding structure, domains, transition systems and inference rules, that serve as the foundation of the field. Assuming only knowledge of elementary programming and mathematics, this text is perfect for advanced undergraduate and beginning graduate courses in programming language theory and also will appeal to researchers and professionals in designing or implementing computer languages.