Treffer 1 – 2 von 2 für Suche 'Hatcliff, John 1966-', Suchdauer: 0,01s 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
    Mechanically verifying the correctness of an offline partial evaluator

    Mechanically verifying the correctness of an offline partial evaluator von Hatcliff, John 1966-

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Thunks and the lambda-calculus

    Thunks and the lambda-calculus von Hatcliff, John 1966-, Danvy, Olivier

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: