cam a22 4 4500 551331097 CHVBK 20201001101833.0 181213s2018 mau |||| 001 0 eng| 978-0-262-53643-1 pbk. : alk. paper 0-262-53643-9 (IDSBB)006828426 (NEBIS)011191679 DLC ger SzZuIDS NEBIS ETH-BIB SzZuIDS BS/BE A100 rda 004 15 005.101/5113 23 ST 125 rvk Friedman Daniel P. 1944- (DE-588)1140757091 Verfasser aut The little typer Daniel P. Friedman, David Thrane Christiansen Cambridge, Massachusetts The MIT Press [2018] xiii, 403 Seiten Illustrationen Includes index. Typentheorie (DE-588)4121795-0 gnd Programmierung (DE-588)4076370-5 gnd Functional programming (Computer science) Logic programming Computer logic Type theory Computer logic fast Functional programming (Computer science) fast Logic programming fast Type theory fast DEKLARATIVE PROGRAMMIERUNG + LOGISCHE PROGRAMMIERUNG (PROGRAMMIERMETHODEN) ger (ETHUDK)000013705 ethudk LEHRBÜCHER (DOKUMENTENTYP) ger (ETHUDK)000000099 ethudk SPEZIELLE PROGRAMMIERSPRACHEN ger (ETHUDK)000013708 ethudk THEORIE DER PROGRAMMIERUNG ger (ETHUDK)000013697 ethudk THEORIE DER TYPEN (MATHEMATISCHE LOGIK) ger (ETHUDK)000012511 ethudk u THEORIE DER PROGRAMMIERUNG ger 004*04*02 nebis E1 u THEORIE DER TYPEN (MATHEMATISCHE LOGIK) ger 510.635.32 nebis E1 u SPEZIELLE PROGRAMMIERSPRACHEN ger 004*04*05*01*01 nebis E1 u DEKLARATIVE PROGRAMMIERUNG + LOGISCHE PROGRAMMIERUNG (PROGRAMMIERMETHODEN) ger 004*04*03*05 nebis E1 u LEHRBÜCHER (DOKUMENTENTYP) ger (075) nebis E1 u THÉORIE DE LA PROGRAMMATION fre 004*04*02 nebis E1 u THEORY OF PROGRAMMING eng 004*04*02 nebis E1 u THEORY OF TYPES (MATHEMATICAL LOGIC) eng 510.635.32 nebis E1 u THÉORIE DES TYPES (LOGIQUE MATHÉMATIQUE) fre 510.635.32 nebis E1 u SPECIAL PROGRAMMING LANGUAGES eng 004*04*05*01*01 nebis E1 u LANGAGES DE PROGRAMMATION SPÉCIFIQUES fre 004*04*05*01*01 nebis E1 u DECLARATIVE PROGRAMMING + LOGIC PROGRAMMING (PROGRAMMING METHODS) eng 004*04*03*05 nebis E1 u PROGRAMMATION DÉCLARATIVE + PROGRAMMATION LOGIQUE (MÉTHODES DE PROGRAMMATION) fre 004*04*03*05 nebis E1 u TEXTBOOKS (DOCUMENT TYPE) eng (075) nebis E1 u MANUELS POUR L'ENSEIGNEMENT (TYPE DE DOCUMENT) fre (075) nebis E1 Christiansen David Thrane Verfasser aut BK020000 XK020000 XK020000 094 E01-20181029 IDSBB A100 A100 100FM UBH Kt 23516 NELA1001811 NEBIS E01 E01 MG T 86347 IDSBB 100 1- Friedman Daniel P. 1944- (DE-588)1140757091 Verfasser aut IDSBB 700 1- Christiansen David Thrane Verfasser aut NEBIS 100 1- Friedman Daniel P. 1944- (DE-588)1140757091 Verfasser aut NEBIS 700 1- Christiansen David Thrane Verfasser aut NEBIS 700 1- Bibby Duane Illustrator ill NEBIS 700 1- Harper Robert 1957- (DE-588)122947746 Verfasser eines Vorworts wpr NEBIS 700 1- McBride Conor Verfasser eines Nachworts aft NEBIS EAD50 EBI01 E01 https://opac.nebis.ch/objects/pdf03/e01_978-0-262-53643-1_01.pdf Titelblatt und Inhaltsverzeichnis VIEW pdf IDSBB DSV51 DSV01 A100 http://www.ub.unibas.ch/tox/IDSBB/006828426/PDF pdf VIEW Inhaltsverzeichnis