• Part of
    Ubiquity Network logo
    Interesse beim KIT-Verlag zu publizieren? Informationen für Autorinnen und Autoren

    Lazy Evaluation: From natural semantics to a machine-checked compiler transformation

    Joachim Breitner