( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
TIL: A Type-Directed Optimizing Compiler for ML.

, , , , , и . PLDI, стр. 181-192. ACM, (1996)

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.

Christopher A Richardson

Christopher A Becker

Chritopher Stone

Julia Stone

Ruth Stone

 

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

Safe-for-Space Threads in Standard ML., , , , и . High. Order Symb. Comput., 11 (2): 209-225 (1998)Specifications via Realizability., и . CLASE, том 153 из Electronic Notes in Theoretical Computer Science, стр. 77-92. Elsevier, (2005)Nifty assignments., , , , , , , и . SIGCSE, стр. 483-484. ACM, (2009)Student Experiences and Academic Outcomes When Multiple Introductory Tracks Converge., , , и . ITiCSE (1), стр. 89-95. ACM, (2023)RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice., и . CiE, том 4497 из Lecture Notes in Computer Science, стр. 28-42. Springer, (2007)RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice., и . J. Log. Comput., 19 (1): 17-43 (2009)Observationally Cooperative Multithreading., , , , , , , и . CoRR, (2015)Observationally cooperative multithreading., , и . OOPSLA Companion, стр. 205-206. ACM, (2011)Extensible objects without labels.. ACM Trans. Program. Lang. Syst., 26 (5): 805-835 (2004)Deciding Type Equivalence with Singleton Kinds., и . POPL, стр. 214-227. ACM, (2000)