( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Denotational Semantics for Lazy Initialization of letrec.

. FICS, стр. 61-67. Laboratoire d'Informatique Fondamentale de Marseille, (2010)

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.

Keiko Sakahara

Keiko Suzuki

Keiko Nimura

Keiko Hirano

Keiko Yamane

 

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

A Meta-Level Control Architecture for Production Systems., , , и . IEEE Trans. Knowl. Data Eng., 7 (1): 44-52 (1995)Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types., , и . ICALP (2), том 7966 из Lecture Notes in Computer Science, стр. 299-311. Springer, (2013)Recursive modules for programming., и . ICFP, стр. 74-86. ACM, (2006)Securing Class Initialization., и . IFIPTM, том 321 из IFIP Advances in Information and Communication Technology, стр. 48-62. Springer, (2010)Denotational Semantics for Lazy Initialization of letrec.. FICS, стр. 61-67. Laboratoire d'Informatique Fondamentale de Marseille, (2010)Compiling Cooperative Task Management to Continuations., и . FSEN, том 8161 из Lecture Notes in Computer Science, стр. 95-110. Springer, (2013)Trace-Based Coinductive Operational Semantics for While., и . TPHOLs, том 5674 из Lecture Notes in Computer Science, стр. 375-390. Springer, (2009)A Proof Pearl with the Fan Theorem and Bar Induction - Walking through Infinite Trees with Mixed Induction and Coinduction., , и . APLAS, том 7078 из Lecture Notes in Computer Science, стр. 353-368. Springer, (2011)A Hoare logic for the coinductive trace-based big-step semantics of While., и . Logical Methods in Computer Science, (2015)Realizability at Work: Separating Two Constructive Notions of Finiteness., , , и . TYPES, том 97 из LIPIcs, стр. 6:1-6:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)