Types and programming languages Benjamin C. Pierce
Materialtyp:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- Text
- ohne Hilfsmittel zu benutzen
- Band
- 0262162091
- 9780262162098
- QA76.7
- QA76.7.P54 2002
- ST 140
- ST 230
- ST 240
- ST 136
- *68N15
- 68-01
- 54.53
Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Hinweise | Fälligkeitsdatum | Barcode | Semesterapparate | |
---|---|---|---|---|---|---|---|---|---|---|
![]() |
Gebäude 26 (MPI-SWS Kaiserslautern ) | MPI-SWS Kaiserslautern (26) | Internal | Pierce (Regal durchstöbern(Öffnet sich unterhalb)) | restricted use | 2100000002979 | ||||
![]() |
Gebäude 26 (MPI-SWS Kaiserslautern ) | MPI-SWS Kaiserslautern (26) | Internal | Pierce (Regal durchstöbern(Öffnet sich unterhalb)) | restricted use | 2100000003525 | ||||
![]() |
Gebäude E1 5 (MPI-SWS SB) | MPI-SWS Saarbrücken (E1 5) | Internal | Pierce (Regal durchstöbern(Öffnet sich unterhalb)) | restricted use | 2100000003419 | ||||
![]() |
Gebäude E1 5 (MPI-SWS SB) | MPI-SWS Saarbrücken (E1 5) | Internal | Pierce (Regal durchstöbern(Öffnet sich unterhalb)) | restricted use | 2100000004720 | ||||
![]() |
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Textbook collection (GF) | PIE b 2002:1 6.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2000000347677 | ||||
![]() |
Gebäude E1 5 (MPI-SWS SB) | MPI-INF (E1 5) | Internal | restricted use | D2-internal | 2002000002396 | ||||
![]() |
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Textbook collection (GF) | PIE b 2002:1 10.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000437112 | ||||
![]() |
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Textbook collection (GF) | PIE b 2002:1 8.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000438829 | ||||
![]() |
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Textbook collection (GF) | PIE b 2002:1 9.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000438812 | ||||
Semesterapparat (Buch) | Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Course Reference (GF) | PIE b 2002:1 1.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Nicht ausleihbar | 2200000262936 | ||||
![]() |
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Textbook collection (GF) | PIE b 2002:1 7.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000058287 | ||||
![]() |
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Textbook collection (GF) | PIE b 2002:1 2.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000059512 | ||||
![]() |
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Textbook collection (GF) | PIE b 2002:1 3.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000061119 | ||||
![]() |
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Textbook collection (GF) | PIE b 2002:1 4.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000061102 | ||||
![]() |
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Textbook collection (GF) | PIE b 2002:1 5.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000061096 |
Literaturverzeichnis: Seiten 567-603
1. Introduction -- 2. Mathematical preliminaries -- [pt]. 1. Untyped systems -- 3. Untyped arithmetic expressions -- 4. An ML implementation of arithmetic expressions -- 5. The untyped Lambda-calculus -- 6. Nameless representation of terms -- 7. An ML implementation of the Lambda-calculus -- [pt]. 2. Simple types -- 8. Typed arithmetic expressions -- 9. Simply typed Lambda-calculus -- 10. An ML implementation of simple types -- 11. Simple extensions -- 12. Normalization -- 13. References -- 14. Exceptions [pt]. 3. Subtyping -- 15. Subtyping -- 16. Metatheory of subtyping -- 17. An ML implementation of subtyping -- 18. Case study : imperative objects -- 19. Case study : featherweight Java -- [pt]. 4. Recursive types -- 20. Recursive types -- 21. Metatheory of recursive types -- [pt.]. 5. Polymorphism -- 22. Type reconstruction -- 23. Universal types -- 24. Existential types -- 25. An ML implementation of system F -- 26. Bounded quantification -- 27. Case study : imperative objects, redux -- 28. Metatheory of bounded quantification -- [pt]. 6. Higher-order systems -- 29. Type operators and kinding -- 30. Higher-order polymorphism -- 31. Higher-order subtyping.
1.Introduction -- 2.Mathematical preliminaries -- [pt]. 1.Untyped systems -- 3.Untyped arithmetic expressions -- 4.An ML implementation of arithmetic expressions -- 5.The untyped Lambda-calculus -- 6.Nameless representation of terms -- 7.An ML implementation of the Lambda-calculus -- [pt]. 2.Simple types -- 8.Typed arithmetic expressions -- 9.Simply typed Lambda-calculus -- 10.An ML implementation of simple types -- 11.Simple extensions -- 12.Normalization -- 13.References -- 14.Exceptions -[pt]. 3.Subtyping -- 15.Subtyping -- 16.Metatheory of subtyping -- 17.An ML implementation of subtyping -- 18.Case study : imperative objects -- 19.Case study : featherweight Java -- [pt]. 4.Recursive types -- 20.Recursive types -- 21.Metatheory of recursive types -- [pt.]. 5.Polymorphism -- 22.Type reconstruction -- 23.Universal types -- 24.Existential types -- 25.An ML implementation of system F -- 26.Bounded quantification -- 27.Case study : imperative objects, redux -- 28.Metatheory of bounded quantification -- [pt]. 6.Higher-order systems -- 29.Type operators and kinding -- 30.Higher-order polymorphism -- 31.Higher-order subtyping.
Pierce, Benjamin C., 1963 - : Types and Programming Languages.