( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Stack-based typed assembly language.

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

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Gregory J Polan

Robert Gregory

Isa Gregory

Gregory Kroon

Xaver Gregory

 

Другие публикации лиц с тем же именем

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