Importo totale (1 articolo articoli):
Destinazione ordine:
fritz henglein (76 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (76)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (66)
- Come nuovo, Ottimo o Quasi ottimo (9)
- Molto buono o Buono (1)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (23)
- Non Print on Demand (43)
Lingua (2)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Polymorphic Type Inference and Semi-unification
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 17,19
Spedizione EUR 2,29
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Polymorphic Type Inference and Semi-unification (Paperback or Softback)
Lingua: Inglese
Editore: Hutson Street Press 5/22/2025, 2025
ISBN 10: 1024194957 ISBN 13: 9781024194951
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback or Softback. Condizione: New. Polymorphic Type Inference and Semi-unification. Book.
-
Polymorphic Type Inference and Semi-unification
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 18,87
Spedizione EUR 2,29
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Programming With Structures, Functions, and Objects Classic Reprint
Da: PBShop.store US, Wood Dale, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
-
Polymorphic Type Inference and Semi-Unification (Classic Reprint)
Da: PBShop.store US, Wood Dale, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
-
Programming With Structures, Functions, and Objects Classic Reprint
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 23,94
Spedizione EUR 3,80
Spedito da Regno Unito a U.S.A.Quantità: 15 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
-
Polymorphic Type Inference and Semi-Unification (Classic Reprint)
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 25,36
Spedizione EUR 3,80
Spedito da Regno Unito a U.S.A.Quantità: 15 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
-
Polymorphic Type Inference and Semi-Unification (Classic Reprint)
Da: PBShop.store US, Wood Dale, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
HRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
-
Polymorphic Type Inference and Semi-unification
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 31,31
Spedizione EUR 2,29
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Polymorphic Type Inference and Semi-unification
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 33,23
Spedizione EUR 2,29
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Polymorphic Type Inference and Semi-unification
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 19,30
Spedizione EUR 17,34
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Polymorphic Type Inference and Semi-unification
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 20,27
Spedizione EUR 17,34
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Polymorphic Type Inference and Semi-Unification (Classic Reprint)
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 33,72
Spedizione EUR 4,81
Spedito da Regno Unito a U.S.A.Quantità: 15 disponibili
Aggiungi al carrelloHRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
-
Polymorphic Type Inference and Semi-unification
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 34,39
Spedizione EUR 17,34
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Polymorphic Type Inference and Semi-unification
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 40,41
Spedizione EUR 17,34
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Programming With Structures, Functions, and Objects (Classic Reprint)
Da: Forgotten Books, London, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 15,30
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New. Print on Demand. This book provides a detailed description of programming mechanisms for integrating algebraic, functional, and object-oriented programming into a coherent framework. The author's language is a statically typed higher-order language with specifications, structures, types, and values, and with universal and existential abstraction over structures, types, and values. The book examines the integration of these mechanisms, as well as the benefits and drawbacks of doing so. It also delves into subtyping, comparing and contrasting implicit and explicit subtyping and discussing their implications for programming. Overall, this book is a valuable resource for those interested in programming languages and the integration of different programming paradigms. It provides a comprehensive overview of the topic, with detailed examples and explanations. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item.
-
Polymorphic Type Inference and Semi-Unification (Classic Reprint)
Da: Forgotten Books, London, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 16,73
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New. Print on Demand. This book delves into the intricate world of type inference, a crucial concept in the development of programming languages. The author explores the computational implications of different type systems, comparing and contrasting the capabilities of various approaches like the Hindley Calculus, the Milner Calculus, and the Milner-Mycroft Calculus. This book traces the evolution of type inference from its roots in the Curry-Hindley Calculus to its more sophisticated forms, highlighting the challenges and advancements in the field. The book examines the relationship between type inference and a problem called semi-unification, a complex mathematical challenge that involves solving inequalities between terms. This connection illuminates the underlying logic and complexity of type inference, offering a new perspective on the practical and theoretical limitations of this essential programming language feature. The author's insightful analysis of semi-unification helps explain the apparent paradox of type inference being both theoretically intractable and practically successful in many programming languages. This book provides a comprehensive exploration of type inference, its theoretical underpinnings, and its practical applications, offering valuable insights for computer scientists, programmers, and anyone interested in the evolution of programming languages. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item.
-
![Immagine dell'editore per Automatic Program Development: A Tribute to Robert Paige [Hardcover] [Jan 08, 2008] Danvy, Olivier; Henglein, Fritz; Mairson, Harry and Pettorossi, Alberto venduto da Hay-on-Wye Booksellers](https://pictures.abebooks.com/isbn/9781402065842-it-300.jpg)
Automatic Program Development: A Tribute to Robert Paige [Hardcover] [Jan 08, 2008] Danvy, Olivier; Henglein, Fritz; Mairson, Harry and Pettorossi, Alberto
Da: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 47,96
Spedizione EUR 28,90
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Very Good. Some light marks to the cover. The book is clean and readable throughout, a decent copy.
-
Automatic Program Development
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Automatic Program Development
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Polymorphic Type Inference and Semi-unification
Lingua: Inglese
Editore: Creative Media Partners, LLC, 2025
ISBN 10: 1024194957 ISBN 13: 9781024194951
Da: PBShop.store US, Wood Dale, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 20,34
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Polymorphic Type Inference and Semi-unification
Lingua: Inglese
Editore: Creative Media Partners, LLC Mai 2025, 2025
ISBN 10: 1024194957 ISBN 13: 9781024194951
EUR 28,84
Spedizione EUR 60,86
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware - 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.
-
Polymorphic Type Inference and Semi-unification
Lingua: Inglese
Editore: Creative Media Partners, LLC Mai 2025, 2025
ISBN 10: 1024191478 ISBN 13: 9781024191479
EUR 44,41
Spedizione EUR 61,70
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Neuware - 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.
-
Polymorphic Type Inference and Semi-unification
Lingua: Inglese
Editore: Creative Media Partners, LLC, 2025
ISBN 10: 1024194957 ISBN 13: 9781024194951
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 19,31
Spedizione EUR 3,80
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, ... Computer Science and General Issues)
Libro 5 di 129: Lecture Notes in Computer ScienceDa: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 103,15
Spedizione EUR 13,85
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Verification, Model Checking, and Abstract Interpretation : 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proce
Libro 5 di 129: Lecture Notes in Computer ScienceDa: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 100,76
Spedizione EUR 17,90
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Verification, Model Checking, and Abstract Interpretation : 22nd International Conference, Vmcai 2021, Copenhagen, Denmark, January 17?19, 2021, Proceedings
Libro 5 di 129: Lecture Notes in Computer ScienceDa: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Automatic Program Development: A Tribute to Robert Paige
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 115,34
Spedizione EUR 13,85
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Verification, Model Checking, and Abstract Interpretation : 22nd International Conference, Vmcai 2021, Copenhagen, Denmark, January 17?19, 2021, Proceedings
Libro 5 di 129: Lecture Notes in Computer ScienceDa: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition.
-
Automatic Program Development : A Tribute to Robert Paige
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
