( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Semantic Analysis of C++ Templates.

, и . ECOOP, том 4067 из Lecture Notes in Computer Science, стр. 304-327. Springer, (2006)

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.

Karlheinz Siek

Karlheinz Siek

Karlheinz Siek

Karlheinz Siek

Jeremy Cohen

 

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

Compile-time reflection and metaprogramming for Java., и . PEPM, стр. 27-38. ACM, (2014)Understanding memory effects in the automated generation of optimized matrix algebra kernels., , , , и . ICCS, том 1 из Procedia Computer Science, стр. 1873-1881. Elsevier, (2010)Well-Typed Languages are Sound., , и . CoRR, (2016)A Semantic Analysis of C++ Templates., и . ECOOP, том 4067 из Lecture Notes in Computer Science, стр. 304-327. Springer, (2006)Transitivity of Subtyping for Intersection Types.. CoRR, (2019)Sound gradual typing: only mostly dead., , , и . Proc. ACM Program. Lang., 1 (OOPSLA): 54:1-54:24 (2017)Staging and high-performance computing: theory and practice (NII Shonan Meeting 2014-7)., , и . NII Shonan Meet. Rep., (2014)A Rational Approach to Portable High Performance: The Basic Linear Algebra Instruction Set (BLAIS) and the Fixed Algorithm Size Template (FAST) Library., и . ECOOP Workshops, том 1543 из Lecture Notes in Computer Science, стр. 468-469. Springer, (1998)The Matrix Template Library: A Unifying Framework for Numerical Linear Algebra., и . ECOOP Workshops, том 1543 из Lecture Notes in Computer Science, стр. 466-467. Springer, (1998)19th international workshop on foundations of object-oriented languages (FOOL'12)., , и . SPLASH, стр. 233-234. ACM, (2012)