Practical foundations for programming languages

Practical foundations for programming languages

by Harper, Robert

Type Book
Rate 0.0 /5

"This book offers a fresh perspective on the fundamentals of programming languages through the use of type theory."

Read More ↓
Details
Files
Reviews
Download

Title Statements

  • Full title :Practical foundations for programming languages / Robert Harper.

Summary

"This book offers a fresh perspective on the fundamentals of programming languages through the use of type theory."

Read More ↓

Edition Statements

  • Publication Date:©2013.
  • Edition:First edition

Publication Statements

The Physical Object

  • Description:xviii, 471 páginas ; : 26 cm

Edition Identifiers

  • ISBN:9781107029576, 1107029570
  • oclc:ocn926611938
  • LC Classification:QA76.7
  • Dewey Decimal:005.13

Table of Contents

Contenido: Judgments and rules. -- Statics and dynamics. -- Function types. -- Finite data types. -- Infinite data types. -- Dynamic types. -- Variable types. -- Subtyping. -- Classes and methods. -- Exceptions and continuations. -- Types and propositions. -- Symbols. -- State. -- Laziness. -- Parallelism. ' Concurrency. -- Modularity. -- Equational reasoning.

Read More ↓

Subjects

Lenguajes de programación (Computadores… Programación (Computadores Electronicos)

Writers

Harper, Robert

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

  • Practical Foundations for Programming Languages -…

    PDF · 3.1 MB · updated
    Login →