Mostrar 1 - 2 resultats de 2 per cerca 'Tofte, Mads', hora de la petició: 0.01sec Refinar resultats
  1. 1

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

    Publicat 2000
    Obtenir text complet
    Obtenir text complet
    Electronic Resource

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

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

    Publicat 1997
    Obtenir text complet
    Obtenir text complet
    Electronic Resource

    The definition of standard ML

Eines de cerca: