Resultados de la búsqueda
Search results: 6
-
The Little MLer
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 natu... More
Language: ENGDerechos de autor: 1998 -
The Little Prover
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 proof assistant.The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an appro... More
Language: ENGDerechos de autor: 2015 -
Essentials of Programming Languages, third edition (The\mit Press Ser.)
A new edition of a textbook that provides students with a deep, working understanding of the essential concepts of programming languages, completely revised, with significant new material.This book provides students with a deep, working understanding of the essential concepts of programming language... More
Language: ENGDerechos de autor: 2008 -
The Little Typer
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 first-class part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows ... More
Language: ENGDerechos de autor: 2018 -
The Reasoned Schemer, second edition (The\mit Press Ser.)
A new edition of a book, written in a humorous question-and-answer style, that shows how to implement and use an elegant little programming language for logic programming.The goal of this book is to show the beauty and elegance of relational programming, which captures the essence of logic programm... More
Language: ENGDerechos de autor: 2018 -
Health Humanities Reader
by Mark Vonnegut • Audrey Shafer • Martha Stoddard Holmes • Howard Brody • Jeff Nisker • Bradley Lewis • Rosemarie Tong • Ian Williams • Sander L. Gilman • Rafael Campo • Daniel Goldberg • Michael Rowe • Thomas R. Cole • Alice Dreger • Joseph N. Straus • Jonathan M. Metzl • Arthur W. Frank • E. Ann Kaplan • Rebecca Hester • John Lantos • Shelley Wall • Alan Bleakley • Marjorie Levine-Clark • Michael Sappol • Mark Clark • Professor Therese Jones • Professor Delese Wear • Professor Lester D. Friedman • David H. Flood • Rhonda L. Soricelli • Lisa Keränen • Martin F. Norden • Professor Lisa I. Iezzoni • Felicia Cohn • Martha Montello • Amy Haddad • Rebecca Garden • Jack Coulehan • Professor Bernice Hausman • Gretchen A. Case • Allen Peterkin • Susan M. Squier • Sayantani DasGupta • Maren Grainger-Monsen • Benjamin Saxton • Jerald Winakur • Anne Hudson Jones • Tod Chambers • Raymond C. Barfield • Lucy Selman • Jeffrey P. Bishop • Catherine Belling • Paul Root Wolpe • Professor Allison B. Kavey • Julie M. Aultman • Michael Blackie • Erin Gentry Lamb • Jay BaruchOver the past forty years, the health humanities, previously called the medical humanities, has emerged as one of the most exciting fields for interdisciplinary scholarship, advancing humanistic inquiry into bioethics, human rights, health care, and the uses of technology. It has also helped inspire... More
Language: ENGDerechos de autor: 2014