Download Full eBooks in PDF
Functional Programming Using Standard Ml Book in PDF, ePub and Kindle version is available to download in english. Read online anytime anywhere directly from your device. Click on the download button below to get a free pdf file of Functional Programming Using Standard Ml book. This book definitely worth reading, it is an incredibly well-written.
Author : Åke Wikström
Publisher : Unknown
Page : 472 pages
File Size : 45,9 Mb
Release : 1987
Category : Computers
ISBN : UOM:39015026520075
Author : G Michaelson
Publisher : CRC Press
Page : 310 pages
File Size : 41,8 Mb
Release : 2018-10-08
Category : Computers
ISBN : 9781482286946
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 : Colin Myers,Chris Clack,Ellen Poon
Publisher : Unknown
Page : 320 pages
File Size : 43,8 Mb
Release : 1993
Category : Computers
ISBN : UOM:39015029578849
Software -- Programming Languages.
Author : Robin Milner
Publisher : MIT Press
Page : 132 pages
File Size : 55,7 Mb
Release : 1997
Category : Computers
ISBN : 0262631814
Software -- Programming Languages.
Author : Jeffrey D. Ullman
Publisher : Unknown
Page : 346 pages
File Size : 53,7 Mb
Release : 1994
Category : Computers
ISBN : UOM:39015032914478
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 : Richard Bosworth
Publisher : Unknown
Page : 128 pages
File Size : 52,5 Mb
Release : 1995-03-01
Category : Electronic
ISBN : 0077091388
Author : Thomas VanDrunen
Publisher : Franklin Beedle & Associates
Page : 670 pages
File Size : 52,5 Mb
Release : 2013
Category : Computer science
ISBN : 1590282604
This book provides a distinct way to teach discrete mathematics. Since discrete mathematics is crucial for rigorous study in computer science, many texts include applications of mathematical topics to computer science or have selected topics of particular interest to computer science. This text fully integrates discrete mathematics with ......
Author : Richard Bosworth
Publisher : McGraw-Hill Companies
Page : 356 pages
File Size : 42,8 Mb
Release : 1995
Category : Computers
ISBN : UOM:39015033958961
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.
Author : Greg Michaelson
Publisher : Courier Corporation
Page : 336 pages
File Size : 53,6 Mb
Release : 2013-04-10
Category : Mathematics
ISBN : 9780486280295
Well-respected text for computer science students provides an accessible introduction to functional programming. Cogent examples illuminate the central ideas, and numerous exercises offer reinforcement. Includes solutions. 1989 edition.
Author : Emden R. Gansner,John H. Reppy
Publisher : Cambridge University Press
Page : 486 pages
File Size : 48,9 Mb
Release : 2004-04-05
Category : Computers
ISBN : 1139451405
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 : Chris Reade
Publisher : Addison Wesley Publishing Company
Page : 624 pages
File Size : 52,9 Mb
Release : 1989
Category : Computers
ISBN : UOM:39015047355287
Software -- Programming Techniques.
Author : Stefan Sokolowski,Stefan Sokołowski
Publisher : Chapman & Hall
Page : 260 pages
File Size : 49,6 Mb
Release : 1991
Category : Computers
ISBN : 0412392402
Author : Lawrence C. Paulson
Publisher : Unknown
Page : 429 pages
File Size : 54,6 Mb
Release : 1992
Category : Computers
ISBN : 0521422256
This new edition of a successful text treats modules in more depth, and covers the revision of ML language.
Author : Larry C. Paulson
Publisher : Cambridge University Press
Page : 500 pages
File Size : 41,9 Mb
Release : 1996-06-28
Category : Computers
ISBN : 9781107268494
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 : Yaron Minsky,Anil Madhavapeddy,Jason Hickey
Publisher : "O'Reilly Media, Inc."
Page : 739 pages
File Size : 51,7 Mb
Release : 2013-11-04
Category : Computers
ISBN : 9781449324759
This fast-moving tutorial introduces you to OCaml, an industrial-strength programming language designed for expressiveness, safety, and speed. Through the book’s many examples, you’ll quickly learn how OCaml stands out as a tool for writing fast, succinct, and readable systems code. Real World OCaml takes you through the concepts of the language at a brisk pace, and then helps you explore the tools and techniques that make OCaml an effective and practical tool. In the book’s third section, you’ll delve deep into the details of the compiler toolchain and OCaml’s simple and efficient runtime system. Learn the foundations of the language, such as higher-order functions, algebraic data types, and modules Explore advanced features such as functors, first-class modules, and objects Leverage Core, a comprehensive general-purpose standard library for OCaml Design effective and reusable libraries, making the most of OCaml’s approach to abstraction and modularity Tackle practical programming problems from command-line parsing to asynchronous network programming Examine profiling and interactive debugging techniques with tools such as GNU gdb
