by HanneRiisNielson (Author), Flemming Nielson (Author)
This book provides a framework in which the type notation of functional languages is extended to include a distinguishing notation for run-times and compile-times.
Format: Paperback
Pages: 312
Edition: 1st. Pbk. Version
Publisher: Cambridge University Press
Published: 22 Aug 2005
ISBN 10: 0521018471
ISBN 13: 9780521018470