( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
What is decidable about gradual types?

, и . Proc. ACM Program. Lang., 4 (POPL): 29:1-29:29 (2020)

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.

Constanze Jenschke

Meiko Jensen

Bernd Jenssen

Fritz Jensen

Helmut Jensen

 

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

SARA: Combining Stack Allocation and Register Allocation., и . CC, том 3923 из Lecture Notes in Computer Science, стр. 232-246. Springer, (2006)Punctual Coalescing., и . CC, том 6011 из Lecture Notes in Computer Science, стр. 165-184. Springer, (2010)Event Driven Software Quality.. APLAS, том 4279 из Lecture Notes in Computer Science, стр. 165. Springer, (2006)Position Statements on Strategic Directions for Research on Programming Languages., , и . ACM SIGPLAN Notices, 32 (1): 59-65 (1997)The Essence of Eta-Expansion in Partial Evaluation., , и . LISP Symb. Comput., 8 (3): 209-227 (1995)Class-Graph Inference for Adaptive Programs.. Theory Pract. Object Syst., 3 (2): 75-85 (1997)Teaching reviewing to graduate students., и . Commun. ACM, 45 (12): 22-24 (2002)NJR: a normalized Java resource., и . ISSTA/ECOOP Workshops, стр. 100-106. ACM, (2018)Software Evolution and Integration.. ACM Comput. Surv., 28 (4es): 200 (1996)Encapsulating objects with confined types., , и . ACM Trans. Program. Lang. Syst., 29 (6): 32 (2007)