The Little MLer

The Little MLer
Author :
Publisher : MIT Press
Total Pages : 204
Release :
ISBN-10 : 026256114X
ISBN-13 : 9780262561143
Rating : 4/5 (143 Downloads)

Book Synopsis The Little MLer by : Matthias Felleisen

Download or read book The Little MLer written by Matthias Felleisen and published by MIT Press. This book was released on 1998 with total page 204 pages. Available in PDF, EPUB and Kindle. Book excerpt: with a foreword by Robin Milnerand drawings by Duane Bibby Over the past few years, ML has emerged as one of the most important members of the family of programming languages. Many professors in the United States and other countries use ML to teach courses on the principles of programming and on programming languages. In addition, ML has emerged as a natural language for software engineering courses because it provides the most sophisticated and expressive module system currently available.Felleisen and Friedman are well known for gently introducing readers to difficult ideas. The Little MLer is an introduction to thinking about programming and the ML programming language. The authors introduce those new to programming, as well as those experienced in other programming languages, to the principles of types, computation, and program construction. Most important, they help the reader to think recursively with types about programs.


The Little MLer Related Books

The Little MLer
Language: en
Pages: 204
Authors: Matthias Felleisen
Categories: Computers
Type: BOOK - Published: 1998 - Publisher: MIT Press

GET EBOOK

with a foreword by Robin Milnerand drawings by Duane Bibby Over the past few years, ML has emerged as one of the most important members of the family of program
The Little Typer
Language: en
Pages: 418
Authors: Daniel P. Friedman
Categories: Computers
Type: BOOK - Published: 2018-09-18 - Publisher: MIT Press

GET EBOOK

An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. Dependent types are a
A Little Java, a Few Patterns
Language: en
Pages: 204
Authors: Matthias Felleisen
Categories: Computers
Type: BOOK - Published: 1998 - Publisher: MIT Press

GET EBOOK

foreword by Ralph E. Johnson and drawings by Duane Bibby 'This is a book of 'why' not 'how.' If you are interested in the nature of computation and curious abou
The Little LISPer
Language: en
Pages: 226
Authors: Daniel P. Friedman
Categories: Computers
Type: BOOK - Published: 1989 - Publisher: Prentice Hall

GET EBOOK

The Little Prover
Language: en
Pages: 244
Authors: Daniel P. Friedman
Categories: Computers
Type: BOOK - Published: 2015-07-10 - Publisher: MIT Press

GET EBOOK

An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple