( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Effects and Effect Handlers for Programmable Inference.

, , , и . CoRR, (2023)

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.

Allan Ramsay

Ramsay Taylor

Adolf Steven

Steven Ding

Steven Liu

 

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

Effects and Effect Handlers for Programmable Inference., , , и . CoRR, (2023)Ill-Typed Programs Don't Evaluate., и . CoRR, (2023)Effect Handlers for Programmable Inference., , , и . Haskell, стр. 44-58. ACM, (2023)Ill-Typed Programs Don't Evaluate., и . Proc. ACM Program. Lang., 8 (POPL): 2010-2040 (января 2024)Higher-Order MSL Horn Constraints., , и . Proc. ACM Program. Lang., 7 (POPL): 2017-2047 (января 2023)Higher-Order MSL Horn Constraints., , и . CoRR, (2022)DEQ: Equivalence Checker for Deterministic Register Automata., , и . ATVA, том 11781 из Lecture Notes in Computer Science, стр. 350-356. Springer, (2019)Intersection types and higer-order model checking.. University of Oxford, UK, (2014)British Library, EThOS.Polynomial-Time Equivalence Testing for Deterministic Fresh-Register Automata., , и . MFCS, том 117 из LIPIcs, стр. 72:1-72:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Reachability in Pushdown Register Automata., , и . MFCS (1), том 8634 из Lecture Notes in Computer Science, стр. 464-473. Springer, (2014)