( en | de | ru )

 

Disambiguierung von "Tofte, Mads"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
From Region Inference to von Neumann Machines via Region Representation Inference.

, , und . POPL, Seite 171-183. ACM Press, (1996)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Mads Rosendahl

Mads Grünberg

Mads Kyed

Ronald Madsen

Hans-Christian Madsen

 

Weitere Publikationen von Autoren mit dem selben Namen

AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem., , , , , und . TLCA, Volume 1581 von Lecture Notes in Computer Science, Seite 6-13. Springer, (1999)A Type Discipline for Program Modules., , und . TAPSOFT, Vol.2, Volume 250 von Lecture Notes in Computer Science, Seite 308-319. Springer, (1987)A brief scientific biography of Robin Milner., , und . Proof, Language, and Interaction, Seite 1-18. The MIT Press, (2000)Unification and polymorphism in region inference., und . Proof, Language, and Interaction, Seite 389-424. The MIT Press, (2000)Definition of standard ML., , und . MIT Press, (1990)Principal Signatures for Higher-Order Program Modules.. POPL, Seite 189-199. ACM Press, (1992)A Type Discipline for Solving Year 2000 Problems in COBOL Programs.. MFCS, Volume 1672 von Lecture Notes in Computer Science, Seite 442. Springer, (1999)Combining Region Inference and Garbage Collection., , und . PLDI, Seite 141-152. ACM, (2002)Region Inference for Higher-Order Functional Languages. SAS, Volume 983 von Lecture Notes in Computer Science, Seite 19-20. Springer, (1995)From Region Inference to von Neumann Machines via Region Representation Inference., , und . POPL, Seite 171-183. ACM Press, (1996)