Damian Brunold

J. Roger Hindley: Basic Simple Type Theory

Programmieren

Inhaltsverzeichnis

  1. The type-free lambda-calculus
  2. Assigning types to terms
  3. The principal-type algorithm
  4. Type assignment with equality
  5. A version using typed terms
  6. The correspondence with implications
  7. The converse principal-type algorithm
  8. Counting a type's inhabitants
  9. Technical details

Amazon.deAmazon.com