( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The history of Standard ML.

, , и . Proc. ACM Program. Lang., 4 (HOPL): 86:1-86:100 (2020)

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.

Graeme MacQueen

Donald Sims MacQueen

Jürgen Davids

Volker David

Bodo David

 

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

A Rewriting Semantics for Type Inference., , и . ESOP, том 4421 из Lecture Notes in Computer Science, стр. 426-440. Springer, (2007)Efficient type inference using ranked type variables., и . ML, стр. 3-14. ACM, (2007)Engineering Higher-Order Modules in SML/NJ., и . IFL, том 6041 из Lecture Notes in Computer Science, стр. 218-235. Springer, (2009)The history of Standard ML., , и . Proc. ACM Program. Lang., 4 (HOPL): 86:1-86:100 (2020)Should ML be Object-Oriented?. Formal Aspects Comput., 13 (3-5): 214-232 (2002)Standard ML of New Jersey., и . PLILP, том 528 из Lecture Notes in Computer Science, стр. 1-13. Springer, (1991)A Semantic Model of Types for Applicative Languages., и . Symposium on LISP and Functional Programming, стр. 243-252. ACM, (1982)Separate Compilation for Standard ML., и . PLDI, стр. 13-23. ACM, (1994)An Ideal Model for Recursive Polymorphic Types., , и . POPL, стр. 165-174. ACM Press, (1984)Coroutines and Networks of Parallel Processes., и . IFIP Congress, стр. 993-998. (1977)