Exercises in Functional Programming Using 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 Exercises in Functional Programming Using Standard ML PDF full book. Access full book title Exercises in Functional Programming Using Standard ML by H. Isaksson. Download full books in PDF and EPUB format.
Author: H. Isaksson
Publisher:
ISBN:
Category :
Languages : en
Pages : 31
Get Book Here
Book Description
Author: G Michaelson
Publisher: CRC Press
ISBN: 0203116593
Category : Computers
Languages : en
Pages : 310
Get Book Here
Book Description
Standard ML has become the principal teaching language for introducing functional programming. This textbook places emphasis on teaching the essential features of ML, with extensive practical examples, and is intended for undergraduates studying functional programming with Standard ML.
Author: H. Isaksson
Publisher:
ISBN:
Category :
Languages : en
Pages : 31
Get Book Here
Book Description
Author: Colin Myers
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 320
Get Book Here
Book Description
Software -- Programming Languages.
Author: Jeffrey D. Ullman
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 346
Get Book Here
Book Description
Hybrid Logic and its Proof-Theory demonstrates that hybrid-logical proof-theory remedies the lack of uniformity in ordinary modal-logical proof systems. Various versions and proof systems for hybrid logic are considered, providing a detailed overview of the topic.
Author: Åke Wikström
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 472
Get Book Here
Book Description
Author: Larry C. Paulson
Publisher: Cambridge University Press
ISBN: 1107268494
Category : Computers
Languages : en
Pages : 500
Get Book Here
Book Description
The new edition of this successful and established textbook retains its two original intentions of explaining how to program in the ML language, and teaching the fundamentals of functional programming. The major change is the early and prominent coverage of modules, which are extensively used throughout. In addition, the first chapter has been totally rewritten to make the book more accessible to those without experience of programming languages. The main features of new Standard Library for the revised version of ML are described and many new examples are given, while references have also been updated. Dr Paulson has extensive practical experience of ML and has stressed its use as a tool for software engineering; the book contains many useful pieces of code, which are freely available (via the Internet) from the author. He shows how to use lists, trees, higher-order functions and infinite data structures. Many illustrative and practical examples are included.. Efficient functional implementations of arrays, queues, priority queues, etc. are described. Larger examples include a general top-down parser, a lambda-calculus reducer and a theorem prover. The combination of careful explanation and practical advice will ensure that this textbook continues to be the preferred text for many courses on ML.
Author: Lawrence C. Paulson
Publisher: Cambridge University Press
ISBN: 9780521565431
Category : Computers
Languages : en
Pages : 500
Get Book Here
Book Description
Software -- Programming Languages.
Author: Richard Bosworth
Publisher:
ISBN: 9780077091385
Category :
Languages : en
Pages :
Get Book Here
Book Description
Author: Peter Sestoft
Publisher: Springer
ISBN: 3319607898
Category : Computers
Languages : en
Pages : 347
Get Book Here
Book Description
This book uses a functional programming language (F#) as a metalanguage to present all concepts and examples, and thus has an operational flavour, enabling practical experiments and exercises. It includes basic concepts such as abstract syntax, interpretation, stack machines, compilation, type checking, garbage collection, and real machine code. Also included are more advanced topics on polymorphic types, type inference using unification, co- and contravariant types, continuations, and backwards code generation with on-the-fly peephole optimization. This second edition includes two new chapters. One describes compilation and type checking of a full functional language, tying together the previous chapters. The other describes how to compile a C subset to real (x86) hardware, as a smooth extension of the previously presented compilers.The examples present several interpreters and compilers for toy languages, including compilers for a small but usable subset of C, abstract machines, a garbage collector, and ML-style polymorphic type inference. Each chapter has exercises. Programming Language Concepts covers practical construction of lexers and parsers, but not regular expressions, automata and grammars, which are well covered already. It discusses the design and technology of Java and C# to strengthen students’ understanding of these widely used languages.
Author: Richard Bosworth
Publisher: McGraw-Hill Companies
ISBN:
Category : Computers
Languages : en
Pages : 356
Get Book Here
Book Description
The functional programming language ML is becoming the main medium for teaching functional ideas in a university environment. This book is introductory and adopts an incremental approach, whilst the coverage is problem-oriented: at each stage a problem is introduced which can be solved by the techniques the book teaches. Beginning with a historical perspective and an introduction to simple functions, the book goes on to cover areas such as recursive functions, dynamic types and higher order functions. A real-life case study is included.
