( en | de | ru )

 

Disambiguierung von "Morrisett, J. Gregory"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Stack-based typed assembly language.

, , , und . J. Funct. Program., 13 (5): 957-959 (2003)

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.

Gregory J Polan

Robert Gregory

Isa Gregory

Gregory Kroon

Xaver Gregory

 

Weitere Publikationen von Autoren mit dem selben Namen

Composing First-Class Transactions., , , , und . ACM Trans. Program. Lang. Syst., 16 (6): 1719-1736 (1994)Typed Closure Conversion for Recursively-Defined Functions., und . HOOTS, Volume 10 von Electronic Notes in Theoretical Computer Science, Seite 230-241. Elsevier, (1997)Promela++: A Language for Constructing Correct and Efficient Protocols., , und . INFOCOM, Seite 455-462. IEEE Computer Society, (1998)Alias Types., , und . ESOP, Volume 1782 von Lecture Notes in Computer Science, Seite 366-381. Springer, (2000)Computability classes for enforcement mechanisms., , und . ACM Trans. Program. Lang. Syst., 28 (1): 175-205 (2006)Intensional Polymorphism in Type-Erasure Semantics., , und . ICFP, Seite 301-312. ACM, (1998)SIGPLAN Notices 34(1), January 1999.Principals in Programming Languages: A Syntactic Proof Technique., , und . ICFP, Seite 197-207. ACM, (1999)SIGPLAN Notices 34(9), September 1999.From system F to typed assembly language., , , und . ACM Trans. Program. Lang. Syst., 21 (3): 527-568 (1999)Stack-Based Typed Assembly Language., , , und . Types in Compilation, Volume 1473 von Lecture Notes in Computer Science, Seite 28-52. Springer, (1998)Abstract Models of Memory Management., , und . FPCA, Seite 66-77. ACM, (1995)