Sciweavers


Book
314views
15 years 2 months ago
Programming in Martin-Löf's Type Theory
"This book describes different type theories (theories of types, polymorphic and monomorphic sets, and subsets) from a computing science perspective. It is intended for resear...
Bengt Nordström, Kent Petersson, Jan M. Smith

Book
301views
15 years 2 months ago
Programming in Standard ML
"Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type...
Robert Harper

Book
425views
15 years 2 months ago
Programming Languages: Application and Interpretation
"The book is the textbook for the programming languages course at Brown University, which is taken primarily by third and fourth year undergraduates and beginning graduate (bo...
Shriram Krishnamurthi

Book
351views
15 years 2 months ago
The Implementation of Functional Programming Languages
A great book about the Implementation of Functional Programming Languages.
Simon Peyton Jones

Book
269views
15 years 2 months ago
Type Systems for Programming Languages
"These notes were prepared for use in the graduate course Computer Science 15– 814: Type Systems for Programming Languages at Carnegie Mellon University. Their purpose is ...
Robert Harper

Book
246views
15 years 2 months ago
Using, Understanding, and Unraveling The OCaml Language
"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whet...
Didier Remy

Book
359views
15 years 2 months ago
C++ Annotations
"This document is intended for knowledgeable users of C (or any other language using a C-like grammar, like Perl or Java) who would like to know more about, or make the transi...
Frank B. Brokken

Book
424views
15 years 2 months ago
The New C Standard
"This book contains a detailed analysis of the International Standard for the C language"
Derek M. Jones

Book
385views
15 years 2 months ago
C and C++ Style Guides
"This is an archive of style guides for C and C++ code."

Book
460views
15 years 2 months ago
C++ Essentials
"This book serves as an introduction to the C++ language. It teaches how to program in C++ and how to properly use its features. It does not attempt to teach object-oriented...
Sharam Hekmat