| #4072365 in Books | 1991-08-28 | Original language:English | PDF # 1 | 9.75 x6.75 x.50l,2.62 | File type: PDF | 238 pages||5 of 5 people found the following review helpful.| Table of Contents|By Kim|Preface List of figures 1 Introduction 1.1 Functional Programming Languages and Lazy Evaluation 1.2 The Evaluation Transformer Model of Reduction 1.3 An Introduction to Abstract Interpretation 1.4 Outline of Book 2 Operational and Denotational Semantics of the Typed Lambda Calculus 2.1 The Typed Lambda-Cal|About the Author||Geoffrey Burn is Lecturer at Imperial College of Science, Technology, and Medicine, London.
This book explores a subclass known as lazy functional languages, beginning with the theoretical issues and continuing through abstract interpretation and offering improved techniques for implementation.
The class of programming languages commonly known as functional includes Lisp, Scheme, ML, and Miranda TM. This book explores a subclass known as lazy functional languages, beginning with the theoretical issues and continuing through abstract interpretati...
You can specify the type of files you want, for your gadget.Lazy Functional Languages: Abstract Interpretation and Compilation (Research Monographs in Parallel and Distributed Computing) | Geoffrey Burn. I was recommended this book by a dear friend of mine.
