Types and Programming Languages

by

  • Publisher: The MIT Press
  • Print ISBN: 9780262162098, 0262162091

  • eText ISBN: 9780262303828, 0262303825

  • Copyright year: 2002