Treffer 1 – 2 von 2 für Suche 'Emms, Martin', Suchdauer: 0,02s 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
    Documentation for polyrecs̱ml an extension SML with typechecking for polymorphic recursion

    Documentation for polyrecs̱ml an extension SML with typechecking for polymorphic recursion von Emms, Martin

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Extending the type checker of SML by polymorphic recursion a correctness proof

    Extending the type checker of SML by polymorphic recursion a correctness proof von Emms, Martin, Leiß, Hans

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: