num_pages: 372
language: English
title: Type Theory And Functional Programming
publisher: Addison Wesley Publishing Company