Erakusten 1 - 2 emaitzak -- 2 bilaketa honetara 'Tofte, Mads', Bilaketaren denbora: 0,01s Findu emaitzak
  1. 1

    Proof, language, and interaction essays in honour of Robin Milner

    Argitaratua 2000
    Testu osoa
    Testu osoa
    Electronic Resource

    Proof, language, and interaction essays in honour of Robin Milner
  2. 2

    The definition of standard ML nork Milner, Robin, Harper, Robert, Tofte, Mads

    Argitaratua 1997
    Testu osoa
    Testu osoa
    Electronic Resource

    The definition of standard ML

Bilaketa egiteko lanabesak: