Pierce, Benjamin

Types and programming languages - New Delhi Prantice hall 2002 - xiii, 623p p.

005.13 P611T