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.
Russo, Claudio V.
1999.
Principles and Practice of Declarative Programming.
Vol. 1702,
Issue. ,
p.
80.
Shao, Zhong
1999.
Typed cross-module compilation.
ACM SIGPLAN Notices,
Vol. 34,
Issue. 1,
p.
141.
Shao, Zhong
1999.
Transparent modules with fully syntatic signatures.
ACM SIGPLAN Notices,
Vol. 34,
Issue. 9,
p.
220.
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.
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.
p.
236.
Sewell, Peter
2001.
Modules, abstract types, and distributed versioning.
ACM SIGPLAN Notices,
Vol. 36,
Issue. 3,
p.
236.
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.
Rémy, Didier
2002.
Applied Semantics.
Vol. 2395,
Issue. ,
p.
413.
Dreyer, Derek
Crary, Karl
and
Harper, Robert
2003.
A type system for higher-order modules.
ACM SIGPLAN Notices,
Vol. 38,
Issue. 1,
p.
236.
Dreyer, Derek
Crary, Karl
and
Harper, Robert
2003.
A type system for higher-order modules.
p.
236.
Coquand, Thierry
Pollack, Randy
and
Takeyama, Makoto
2003.
Typed Lambda Calculi and Applications.
Vol. 2701,
Issue. ,
p.
105.
Aspinall, David
2003.
Recent Trends in Algebraic Development Techniques.
Vol. 2755,
Issue. ,
p.
129.
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.