Tofte, Mads (1959-....) Amélioration Assistance
066940613
Notice de type Personne

Forme retenue

Tofte, Mads (1959-....)

Information

Langue d'expression : danois

Source

LCNA (CD), 1996-06


Proof, language, and interaction : essays in honour of Robin Milner / ed. by Gordon Plotkin, Colin Stirling and Mads Tofte, cop. 2000

Utilisation dans Rameau

La vedette peut être employée dans une vedette RAMEAU

Autres identifiants

En cours : frBN01557837X
En cours : FRBNF136236968

Notices bibliographiques liées :2rôle(s)

070 Auteur ( 3 )
340 Editeur scientifique ( 1 )



Auteur :

Rôles ?



021407975 : Compiler generators--what they can do, what they might do, and what they will probably never do / Mads Tofte / Berlin : Springer-Verlag , c1990

113253575 : The definition of Standard ML [Texte imprimé] / Robin Milner, Mads Tofte, and Robert Harper / Cambridge, Mass. : MIT Press , cop. 1990

021725136 : Commentary on Standard ML [Texte imprimé] / Robin Milner and Mads Tofte / Cambridge, MA : MIT Press , cop. 1991



Editeur scientifique :

Rôles ?



056238878 : Proof, language, and interaction [Texte imprimé] : essays in honour of Robin Milner / edited by Gordon Plotkin, Colin Stirling, and Mads Tofte / Cambridge (Mass.) : MIT Press , cop. 2000


A propos Partenaires Conditions Générales d'Utilisation (CGU) Assistance