Documents Related by Co-Citation

1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
985 A theory of type polymorphism in programming – Robin Milner - 1978
510 A semantics of multiple inheritance – Luca Cardelli - 1988
1344 Smalltalk-80: The Language and its Implementation – A Goldberg, D Robson - 1983
1064 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
1602 The C++ Programming Language – Bjarne Stroustrup - 1995
307 Abstract Types have Existential Type – John C Mitchell, Gordon D Plotkin - 1988
634 Compiling with Continuations – A Appel - 1992
3430 Communication and Concurrency – R Milner - 1989