Polymorphic Type Inference and Semi-unification

Fritz Henglein

$58.95 $50.12

Hardback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We then advise you accordingly. If the time taken to get any book is too long for you, you can let us know and we will cancel or adjust your order, and refund as required.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

Hutson Street Press
22 May 2025

Mathematical logic; Programming & scripting languages: general; Database design & theory; Information architecture

Summary
Details

Polymorphic Type Inference and Semi-unification explores advanced concepts in programming language theory. This book provides a rigorous examination of polymorphic type inference systems and the crucial role of semi-unification in their implementation. The text delves into the theoretical foundations and practical applications of these techniques, offering insights into efficient type checking and program analysis.

Intended for researchers, graduate students, and professionals in computer science, this book offers a detailed treatment of algorithms and data structures used in advanced compiler design and programming language research. Readers will gain a comprehensive understanding of how type inference and semi-unification contribute to the development of robust and reliable software systems.

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work.

This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work.

As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant.

By: Fritz Henglein
Imprint: Hutson Street Press
Dimensions: Height: 234mm, Width: 156mm, Spine: 8mm
Weight: 340g
ISBN: 9781024191479
ISBN 10: 1024191478
Pages: 116
Publication Date: 22 May 2025
Audience: General/trade , ELT Advanced
Format: Hardback
Publisher's Status: Active