Mads Tofte

Country :Danemark
Language :danois
Note :
Ecrit aussi en anglais
Informaticien. - En poste : IT University, Copenhague (en 2000)
ISNI :ISNI 0000 0001 1698 8031


Auteur du texte1 document

  • Compiler generators

    what they can do, what they might do, and what they will probably never do

    Material description : XI-146 p.
    Note : Note : Bibliogr. p. 137-139. Index
    Edition : Berlin ; Heidelberg ; New York : Springer , cop. 1990


Éditeur scientifique1 document

  • Proof, language and interaction

    essays in honour of Robin Milner

    Material description : XIV-722 p.
    Note : Note : Bibliogr. en fin de chapitres. Index
    Edition : Cambridge (Mass.) ; London : MIT press , cop. 2000
    Éditeur scientifique : Gordon Plotkin, Colin Stirling


Pages in

Related authors

This page in lab

  • This experimenting space presents innovating visualizations of data: diagrams, timelines, maps. This data is available and freely usable (Open license), in RDF or JSON.

Sources and references


  • Proof, language, and interaction : essays in honour of Robin Milner / ed. by Gordon Plotkin, Colin Stirling and Mads Tofte, cop. 2000
  • LCNA (CD), 1996-06

Closely matched pages