( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
How to evaluate the performance of gradual type systems

, , , , , , и . Journal of Functional Programming, (2019)
DOI: 10.1017/S0956796818000217

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.

Bernhard Newrzella

Wolfgang Newi

Achmed Newsad

Heinrich Newe

Wilburn Wendell Newcomb

 

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

A Coq Library for Internal Verification of Running-Times., , , , и . FLOPS, том 9613 из Lecture Notes in Computer Science, стр. 144-162. Springer, (2016)Fair enumeration combinators., , , и . J. Funct. Program., (2017)A Formal Logic for Formal Category Theory., и . FoSSaCS, том 13992 из Lecture Notes in Computer Science, стр. 113-134. Springer, (2023)Call-by-Name Gradual Type Theory., и . FSCD, том 108 из LIPIcs, стр. 24:1-24:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)A Coq library for internal verification of running-times., , , , и . Sci. Comput. Program., (2018)How to evaluate the performance of gradual type systems, , , , , , и . Journal of Functional Programming, (2019)Graduality and parametricity: together again for the first time., , и . Proc. ACM Program. Lang., 4 (POPL): 46:1-46:32 (2020)Graduality from embedding-projection pairs., и . Proc. ACM Program. Lang., 2 (ICFP): 73:1-73:30 (2018)Gradual type theory., , и . Proc. ACM Program. Lang., 3 (POPL): 15:1-15:31 (2019)Oh Lord, please don't let contracts be misunderstood (functional pearl)., , , и . ICFP, стр. 117-131. ACM, (2016)