From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Probabilistic Inference by Program Transformation in Hakaru (System Description).

P. Narayanan, J. Carette, W. Romano, C. chieh Shan, и R. Zinkov. FLOPS, том 9613 из Lecture Notes in Computer Science, стр. 62-79. Springer, (2016)

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.

Question Answering: From Partitions to Prolog.B. ten Cate, и C. chieh Shan. TABLEAUX, том 2381 из Lecture Notes in Computer Science, стр. 251-265. Springer, (2002)Sexy types in action.C. chieh Shan. ACM SIGPLAN Notices, 39 (5): 15-22 (2004)Monads for natural language semanticsC. chieh Shan. (2001)Closing the stage: from staged code to typed closures.Y. Kameyama, O. Kiselyov, и C. chieh Shan. PEPM, стр. 147-157. ACM, (2008)Functional pearl: implicit configurations-or, type classes reflect the values of types.O. Kiselyov, и C. chieh Shan. Haskell, стр. 33-44. ACM, (2004)Continuations and Natural Language.C. Barker, и C. chieh Shan. Oxford Studies in Theoretical Linguistics Oxford University Press, (2014)Lightweight Static Capabilities.O. Kiselyov, и C. chieh Shan. PLPV@IJCAR, том 174 из Electronic Notes in Theoretical Computer Science, стр. 79-104. Elsevier, (2006)Purely functional lazy non-deterministic programming.S. Fischer, O. Kiselyov, и C. chieh Shan. ICFP, стр. 11-22. ACM, (2009)Delimited dynamic binding.O. Kiselyov, C. chieh Shan, и A. Sabry. ICFP, стр. 26-37. ACM, (2006)Delimited Continuations in Operating Systems.O. Kiselyov, и C. chieh Shan. CONTEXT, том 4635 из Lecture Notes in Computer Science, стр. 291-302. Springer, (2007)