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.
Shao, Zhong
1999.
Transparent modules with fully syntatic signatures.
p.
220.
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.
Fisher, Kathleen
and
Reppy, John
1999.
The design of a class mechanism for Moby.
p.
37.
Russo, Claudio V.
1999.
Principles and Practice of Declarative Programming.
Vol. 1702,
Issue. ,
p.
80.
Shao, Zhong
1999.
Transparent modules with fully syntatic signatures.
ACM SIGPLAN Notices,
Vol. 34,
Issue. 9,
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.
Pollack, Robert
2002.
Dependently Typed Records in Type Theory.
Formal Aspects of Computing,
Vol. 13,
Issue. 3-5,
p.
386.
Rémy, Didier
2002.
Applied Semantics.
Vol. 2395,
Issue. ,
p.
413.
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.