Introduction to the Theory of Programming Languages [E-Book] / by Gilles Dowek, Jean-Jacques Lévy.
Dowek, Gilles, (author)
Lévy, Jean-Jacques, (author)
London : Springer, 2011
XII, 96 p. online resource.
englisch
9780857290762
10.1007/978-0-85729-076-2
Undergraduate Topics in Computer Science
Full Text
Table of Contents:
  • 1. Terms and Relations
  • 2. The Language PCF
  • 3. From Evaluation to Interpretation
  • 4. Compilation
  • 5. PCF with Types
  • 6. Type Inference
  • 7. References and Assignment
  • 8. Records and Objects
  • 9. Epilogue
  • 10. Index
  • 11. Bibliography.