A mostrar 1 - 2 resultados de 2 para a pesquisa 'Tofte, Mads', tempo de pesquisa: 0.01seg Refinar resultados
  1. 1

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

    Publicado em 2000
    Obter o texto integral
    Obter o texto integral
    Electronic Resource

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

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

    Publicado em 1997
    Obter o texto integral
    Obter o texto integral
    Electronic Resource

    The definition of standard ML

Ferramentas de pesquisa: