World Library  


Add to Book Shelf
Flag as Inappropriate
Email this Book

Practical Foundations for Programming Languages

By Harper Robert

Click here to view

Book Id: WPLBN0003842417
Format Type: PDF eBook :
File Size:
Reproduction Date: 2015

Title: Practical Foundations for Programming Languages  
Author: Harper Robert
Volume:
Language: English
Subject: Programming Languages, Programming, Programming
Collections: Online Programming Books
Historic
Publication Date:
2012
Publisher: Carnegie Mellon University

Citation

APA MLA Chicago

Robert, H. (2012). Practical Foundations for Programming Languages. Retrieved from http://kindle.worldlibrary.net/


Description
Description: Download the latest draft copy of Professor Robert Harper’s Practical Foundations for Programming Languages in pdf format. This book offers a fresh perspective on the fundamentals of programming languages through the use of type theory.

Table of Contents
TOC :Judgments and Rules - Inductive Definitions - Hypothetical and General Judgment - Statics - Dynamics - Type Safety - Evaluation Dynamics - Function Definition and Values - G¨odel’s T - Plotkin’s PCF - Product Types - Sum Types - pattern matching - Generic Programming - Inductive and Co-Inductive Types - Recursive Types - Church’s Untyped l-Calculus - Dynamic Typing - Hybrid Typing - Girard’s System F - Abstract Types - Constructors and Kinds - Subtyping - Singleton Kinds - Dynamic Dispatch - Inheritance - Control Stacks - Exceptions - Continuations -Constructive Logic - Classical Logic - Symbols - Fluid Binding - Symbols - Fluid Binding - Dynamic Classification - Reynolds’s Algol - Assignable References - Lazy Evaluation - Polarization - Nested Parallelism - Futures and Speculations - Milner’s Process Calculus - Concurrent Algol - Distributed Algol - Components and Linking - Type Abstractions and Type Classes - Hierarchy and Parameterization - Equational Reasoning for T - Equational Reasoning for PCF - Parametricity - Process Equivalence


 

Click To View

Additional Books


  • C# Array.Search Prog 
  • ASTUDENT_Scratch_Programming (by )
  • Windows Applcaition 
  • INTERPLANETARY TRAJECTORY ENCKE METHOD I... (by )
  • Fundamentals of computer technology (by )
  • Moist- macro output input system for the... (by )
  • Open Sources 2.0 : The Continuing Evolut... (by )
  • Stratospheric turbulence measurements an... (by )
  • Interaction between a normal shock wave ... (by )
  • STATISTICAL THEORIES OF SOLID SOLUTION H... (by )
  • TOWARDS THE THEORETICAL DETERMINATION OF... (by )
  • Space Station Freedom Environmental Cont... (by )
Scroll Left
Scroll Right

 



Copyright © World Library Foundation. All rights reserved. eBooks from World eBook Library on the Kindle are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.