( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Integrating Partial Evaluators into Interpreters.

. SAIG, том 2196 из Lecture Notes in Computer Science, стр. 126-145. Springer, (2001)

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.

Kwaichiro Asai

Kenichi Ishikawa

Kenichi Kida

Yusuke Asai

Kenichi Moriya

 

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

Integrating Partial Evaluators into Interpreters.. SAIG, том 2196 из Lecture Notes in Computer Science, стр. 126-145. Springer, (2001)Binding-Time Analysis for Both Static and Dynamic Expressions.. SAS, том 1694 из Lecture Notes in Computer Science, стр. 117-133. Springer, (1999)An Embedded Type Debugger., и . IFL, том 8241 из Lecture Notes in Computer Science, стр. 190-206. Springer, (2012)MikiBeta : A General GUI Library for Visualizing Proof Trees - System Description and Demonstration., и . LOPSTR, том 6564 из Lecture Notes in Computer Science, стр. 84-98. Springer, (2010)Online partial evaluation for shift and reset.. PEPM, стр. 19-30. ACM, (2002)Partial Evaluation of Call-by-Value lambda-Calculus with Side-Effects., , и . PEPM, стр. 12-21. ACM, (1997)Extracting a call-by-name partial evaluator from a proof of termination.. PEPM@POPL, стр. 61-67. ACM, (2019)Implementing a stepper using delimited continuations., и . SCSS, том 39 из EPiC Series in Computing, стр. 42-54. EasyChair, (2016)Logical relations for call-by-value delimited continuations.. Trends in Functional Programming, том 6 из Trends in Functional Programming, стр. 63-78. Intellect, (2005)Formalizing a correctness property of a type-directed partial evaluator., и . PLPV, стр. 41-46. ACM, (2014)