Zobrazuji výsledky 1 - 2 z 2 pro vyhledávání 'Tofte, Mads', doba hledání: 0,01 s. Upřesnit hledání
  1. 1

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

    Vydáno 2000
    Získat plný text
    Získat plný text
    Electronic Resource

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

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

    Vydáno 1997
    Získat plný text
    Získat plný text
    Electronic Resource

    The definition of standard ML

Vyhledávací nástroje: