Type Systems luca
The Structure of Typed Programming Languages
Foundations for Programming Languages
Semantics of type theory : correctness, completeness, and independence results / Thomas Streicher
主題: Type Theory
An introduction to functional programming through Lambda calculus
ML primer
Introduction to Combinators and Calculus (London Mathematical Society Student Texts)
http://www.cis.upenn.edu/~bcpierce/ Benjamin C. Pierce Types and Programming Languages
Introduction to Functional Programming using Haskell Richard Bird,
rewriting logic
Conditional rewriting logic as a unified model of concurrency
http://formal.cs.uiuc.edu/meseguer/ Jose Meseguer
Monographs In Computer Science Programming methodology

No comments: