Domain-Theoretic Foundations of Functional Programming [Streicher 2006-12-04].pdf

(3882 KB) Pobierz
DOMAIN-THEORETIC FOUNDATIONS
OF FUNCTIONAL PROGRAMMING
Thomas Streicher
DOMAIN-THEORETIC FOUNDATIONS
OF FUNCTIONAL PROGRAMMING
DOMAIN-THEORETIC FOUNDATIONS
OF FUNCTIONAL PROGRAMMING
Technical University Darmstadt, Germany
1t»
World Scientific
NEW ,JERSEY. LONDON· SINGAPORE· BEIJING· SHANGHAI· HONG KONG· TAIPEI· CHENNAI
Published by
World Scientific Publishing Co. Pte. Ltd.
5 Toh Tuck Link, Singapore 596224
USA office:
27 Warren Street, Suite 401-402, Hackensack, NJ 07601
UK office:
57 Shelton Street, Covent Garden, London WC2H 9HE
British Library Cataloguing-in-Publication Data
A catalogue record for this book is available from the British Library.
DOMAIN-THEORETIC FOUNDATIONS OF FUNCTIONAL PROGRAMMING
Copyright © 2006 by World Scientific Publishing Co. Pte. Ltd.
All rights reserved. This book, or parts thereof, may not be reproduced in any form or by any means,
electronic or mechanical, including photocopying, recording or any information storage and retrieval
system now known or to be invented, without written permission from the Publisher.
For photocopying of material in this volume, please pay a copying fee through the Copyright
Clearance Center, Inc., 222 Rosewood Drive, Danvers, MA 01923, USA. In this case permission to
photocopy is not required from the publisher.
ISBN 981-270-142-7
Printed in Singapore by World Scientific Printers (S) Pte Ltd
Zgłoś jeśli naruszono regulamin