by Flemming Nielson (Author), Flemming Nielson (Author), Hanne Riis 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: Hardcover
Pages: 312
Publisher: Cambridge University Press
Published: 16 Jul 1992
ISBN 10: 0521403847
ISBN 13: 9780521403849