Treffer 1 – 14 von 14 für Suche 'Pierce, Benjamin C', Suchdauer: 0,06s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Multiple inheritance via intersection types

    Multiple inheritance via intersection types von Compagnoni, Adriana B., Pierce, Benjamin C.

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Basic category theory for computer scientists

    Basic category theory for computer scientists von Pierce, Benjamin C.

    Veröffentlicht 1991
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Bounded quantification is undecidable

    Bounded quantification is undecidable von Pierce, Benjamin C.

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    A decision procedure for the subtype relation on intersection types with bounded variables

    A decision procedure for the subtype relation on intersection types with bounded variables von Pierce, Benjamin C. 1963-

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation

    Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation von Pierce, Benjamin C

    Veröffentlicht 2012
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Types and programming languages

    Types and programming languages von Pierce, Benjamin C.

    Veröffentlicht 2002
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Types and programming languages

    Types and programming languages von Pierce, Benjamin C.

    Veröffentlicht 2002
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Types and programming languages

    Types and programming languages von Pierce, Benjamin C. 1963-

    Veröffentlicht 2002
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  9. 9
    An abstract view of objects and subtyping (preliminary report)

    An abstract view of objects and subtyping (preliminary report) von Hofmann, Martin, Pierce, Benjamin C.

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Programming with intersection types and bounded polymorphism

    Programming with intersection types and bounded polymorphism von Pierce, Benjamin C.

    Veröffentlicht 1991
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Programming with intersection types, union types, and polymorphism

    Programming with intersection types, union types, and polymorphism von Pierce, Benjamin C.

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Basic category theory for computer scientists

    Basic category theory for computer scientists von Pierce, Benjamin C.

    Veröffentlicht 1991
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Basic category theory for computer scientists

    Basic category theory for computer scientists von Pierce, Benjamin C.

    Veröffentlicht 2010
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Higher order subtyping

    Higher order subtyping von Steffen, Martin, Pierce, Benjamin C.

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: