Harper, Robert Books

The Little Typer
The Little Typer

By Daniel P. Friedman, David Thrane Christiansen, Harper, Robert, David Thrane Christiansen; Illustrations By Duane Bibby; Foreword By Robert Harper, Afterward By Conor McBride, Bibby, Duane, Christiansen, David Thrane, Friedman, Daniel P., McBride, Conor

Average: 0.00, 0 Ratings

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...

Read More
The Definition Of Standard ML - Revised
The Definition Of Standard ML - Revised

By Robert Harper, R. Milner, David MacQueen, Robin Milner, Mads Tofte, Harper, Robert, Robin Milner-Gulland & Robin Milner & Mads Tofte & Robert Harper & David MacQueen

Average: 0.00, 0 Ratings

Standard ML is a general-purpose programming language designed for large projects. This book provides a formal definition of Standard ML for the benefit of all concerned with the language, includin...

Read More

Related Articles from our Blog

What is an EAN and How Does it Relate to an ISBN?

If you’ve ever purchased a product online or in a store, you’ve likely come across a barcode. Behind these barcodes lies a standardized system that makes modern commerce possible. Two key codes often encountered are the EAN (European Article Number) and ISBN (International Standard Book Number). But what are they, how are they connected, and why are they so crucial? Let’s explore.

Read More