Mostra 1 - 2 risultati di 2 ricerca 'Tofte, Mads', tempo di risposta: 0,01s Raffina i risultati
  1. 1

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

    Pubblicazione 2000
    Testo
    Testo
    Electronic Resource

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

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

    Pubblicazione 1997
    Testo
    Testo
    Electronic Resource

    The definition of standard ML

Strumenti per la ricerca: