Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 References
Most cited papers
(according to CiteSeer,
excluding self-citations):
P.-L. Curien and G. Ghelli.
Coherence of subsumption, minimum typing and type checking in
Fsub.
Mathematical Structures in Computer Science, 2(1):55-91, 1992.
97 citations;
gs (google scholar).
L. Cardelli, G. Ghelli, and A. D. Gordon.
Ambient groups and mobility types.
In Proc. of IFIP International Conference on Theoretical
Computer Science (IFIP TCS), Sendai, Japan,
August 2000.
64 citations;
gs.
A. Albano, R. Bergamini, G. Ghelli, and R. Orsini.
An object data model with roles.
In R. Agrawal, S. Baker, and D. Bell, editors, Proc. of the
Nineteenth Intl. Conf. on Very Large Data Bases (VLDB), Dublin, Ireland,
pages 39-51, San Mateo, CA, 1993. Morgan Kaufmann.
62 citations;
gs.
G. Ghelli.
A
static type system for message passing.
In A. Paepcke, editor, Proc. of the Sixth Intl. ACM Conference
on Object-Oriented Programming Systems Languages and Applications (OOPSLA),
Phoenix, Arizona, number 26 (11) in ACM SIGPLAN Notices, pages 129-145,
Reading, MA, 1991. Addison-Wesley.
42 citations;
gs.