( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers.

, , , и . Proc. ACM Program. Lang., 8 (POPL): 115-147 (января 2024)

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.

Taro Odashima

Taro Breuer

Taro Eichler

Taro Odashima

Taro Terashita

 

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

Automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks., и . APLAS, том 11275 из Lecture Notes in Computer Science, стр. 309-328. Springer, (2018)Reasoning about Polymorphic Manifest Contracts., и . CoRR, (2018)Dynamic type inference for gradual Hindley-Milner typing., , и . Proc. ACM Program. Lang., 3 (POPL): 18:1-18:29 (2019)An Integrated Theory of Type-Based Static and Dynamic Verification.. Kyoto University, Japan, (2016)Multi-stage Neural Networks with Single-Sided Classifiers for False Positive Reduction and Its Evaluation Using Lung X-Ray CT Images., , , и . ICIAP (1), том 10484 из Lecture Notes in Computer Science, стр. 370-379. Springer, (2017)Handling polymorphic algebraic effects., и . CoRR, (2018)Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers., , , и . Proc. ACM Program. Lang., 8 (POPL): 115-147 (января 2024)CPS transformation with affine types for call-by-value implicit polymorphism., и . Proc. ACM Program. Lang., 5 (ICFP): 1-30 (2021)Stateful manifest contracts., и . POPL, стр. 530-544. ACM, (2017)Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces., , , и . AAAI, стр. 5306-5314. AAAI Press, (2020)