Suchergebnisse - Cardelli, Luca

Treffer filtern
  1. 1
    Buchumschlag

    Obliq, a language with distributed scope
    von Cardelli, Luca

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    The functional abstract machine
    von Cardelli, Luca

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    An algebraic approach to hardware description and verification
    von Cardelli, Luca

    Veröffentlicht 1982
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Subtyping recursive types
    von Amadio, Roberto M., Cardelli, Luca

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Two-dimensional syntax for functional languages
    von Cardelli, Luca

    Veröffentlicht 1982
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Sticks & stones: an applicative VLSI design language
    von Cardelli, Luca

    Veröffentlicht 1981
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    A theory of objects
    von Abadi, Martín 1963-, Cardelli, Luca

    Veröffentlicht 1998
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Extensible syntax with lexical scoping
    von Cardelli, Luca, Matthes, Florian, Abadi, Martín 1963-

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Formal parametric polymorphism
    von Abadi, Martín 1963-, Cardelli, Luca, Curien, Pierre-Louis

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Extensible records in a pure calculus of subtyping
    von Cardelli, Luca

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Basic polymorphic typechecking
    von Cardelli, Luca

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    A theory of objects
    von Abadi, Martín 1963-, Cardelli, Luca

    Veröffentlicht 1996
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Building user interfaces by direct manipulation
    von Cardelli, Luca

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    A semantic basis for Quest
    von Cardelli, Luca, Longo, Giuseppe

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    A polymorphic lambda-calculus with Type: Type
    von Cardelli, Luca

    Veröffentlicht 1986
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    A theory of objects
    von Abadi, Martín 1963-, Cardelli, Luca

    Veröffentlicht 1998
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    A theory of objects
    von Abadi, Martín 1963-, Cardelli, Luca

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    Subtyping recursive types
    von Amadio, Roberto M., Cardelli, Luca

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    Abstract types and the dot notation
    von Cardelli, Luca, Leroy, Xavier

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    Operations on records
    von Cardelli, Luca, Metchell, John C.

    Veröffentlicht 1989
    Buch


    Gespeichert in:

Suchwerkzeuge: