Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Courant, Judicaël
1997.
TAPSOFT '97: Theory and Practice of Software Development.
Vol. 1214,
Issue. ,
p.
622.
Shao, Zhong
1998.
Typed cross-module compilation.
p.
141.
Fisher, Kathleen
and
Reppy, John
1999.
The design of a class mechanism for Moby.
p.
37.
Shao, Zhong
1999.
Typed cross-module compilation.
ACM SIGPLAN Notices,
Vol. 34,
Issue. 1,
p.
141.
Fisher, Kathleen
and
Reppy, John
1999.
The design of a class mechanism for Moby.
ACM SIGPLAN Notices,
Vol. 34,
Issue. 5,
p.
37.
Shao, Zhong
1999.
Transparent modules with fully syntatic signatures.
ACM SIGPLAN Notices,
Vol. 34,
Issue. 9,
p.
220.
Russo, Claudio V.
1999.
Principles and Practice of Declarative Programming.
Vol. 1702,
Issue. ,
p.
80.
Shao, Zhong
1999.
Transparent modules with fully syntatic signatures.
p.
220.
Fisher, Kathleen
and
Reppy, John
2000.
ECOOP 2000 — Object-Oriented Programming.
Vol. 1850,
Issue. ,
p.
83.
Zilio, Silvano Dal
and
Gordon, Andrew D.
2000.
Mathematical Foundations of Computer Science 2000.
Vol. 1893,
Issue. ,
p.
1.
Sewell, Peter
2001.
Modules, abstract types, and distributed versioning.
ACM SIGPLAN Notices,
Vol. 36,
Issue. 3,
p.
236.
Sewell, Peter
2001.
Modules, abstract types, and distributed versioning.
p.
236.
Rémy, Didier
2002.
Applied Semantics.
Vol. 2395,
Issue. ,
p.
413.
Pollack, Robert
2002.
Dependently Typed Records in Type Theory.
Formal Aspects of Computing,
Vol. 13,
Issue. 3-5,
p.
386.
Fisher, Kathleen
and
Reppy, John
2002.
Inheritance-Based Subtyping.
Information and Computation,
Vol. 177,
Issue. 1,
p.
28.
Aspinall, David
2003.
Recent Trends in Algebraic Development Techniques.
Vol. 2755,
Issue. ,
p.
129.
Dreyer, Derek
Crary, Karl
and
Harper, Robert
2003.
A type system for higher-order modules.
ACM SIGPLAN Notices,
Vol. 38,
Issue. 1,
p.
236.
Coquand, Thierry
Pollack, Randy
and
Takeyama, Makoto
2003.
Typed Lambda Calculi and Applications.
Vol. 2701,
Issue. ,
p.
105.
Dreyer, Derek
Crary, Karl
and
Harper, Robert
2003.
A type system for higher-order modules.
p.
236.
Flanagan, Cormac
Sabry, Amr
Duba, Bruce F.
and
Felleisen, Matthias
2004.
The essence of compiling with continuations.
ACM SIGPLAN Notices,
Vol. 39,
Issue. 4,
p.
502.
Discussions
No Discussions have been published for this article.