Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Crary, Karl
2001.
Types in Compilation.
Vol. 2071,
Issue. ,
p.
1.
Sewell, Peter
2001.
Modules, abstract types, and distributed versioning.
ACM SIGPLAN Notices,
Vol. 36,
Issue. 3,
p.
236.
Ancona, Davide
and
Zucca, Elena
2001.
ECOOP 2001 — Object-Oriented Programming.
Vol. 2072,
Issue. ,
p.
354.
Sewell, Peter
2001.
Modules, abstract types, and distributed versioning.
p.
236.
Diatchki, Iavor S.
Jones, Mark P.
and
Hallgren, Thomas
2002.
A formal specification of the Haskell 98 module system.
p.
17.
Rémy, Didier
2002.
Applied Semantics.
Vol. 2395,
Issue. ,
p.
413.
Barthe, Gilles
and
Coquand, Thierry
2002.
Applied Semantics.
Vol. 2395,
Issue. ,
p.
1.
Dreyer, Derek
Crary, Karl
and
Harper, Robert
2003.
A type system for higher-order modules.
p.
236.
Dreyer, Derek
Crary, Karl
and
Harper, Robert
2003.
A type system for higher-order modules.
ACM SIGPLAN Notices,
Vol. 38,
Issue. 1,
p.
236.
Ancona, Davide
Fagorzi, Sonia
and
Zucca, Elena
2003.
Theoretical Computer Science.
Vol. 2841,
Issue. ,
p.
284.
Logozzo, Francesco
2004.
Approximating module semantics with constraints.
p.
1490.
Filliâtre, Jean-Christophe
and
Letouzey, Pierre
2004.
Programming Languages and Systems.
Vol. 2986,
Issue. ,
p.
370.
Ancona, Davide
Fagorzi, Sonia
and
Zucca, Elena
2004.
Exploring New Frontiers of Theoretical Informatics.
Vol. 155,
Issue. ,
p.
423.
Ramsey, Norman
Fisher, Kathleen
and
Govereau, Paul
2005.
An expressive language of signatures.
p.
27.
Colin, S.
Petit, D.
Rocheteau, J.
Marcano, R.
Mariano, G.
and
Poirriez, V.
2005.
BRILLANT: an open source and XML-based platform for rigourous software development.
p.
373.
Ramsey, Norman
Fisher, Kathleen
and
Govereau, Paul
2005.
An expressive language of signatures.
ACM SIGPLAN Notices,
Vol. 40,
Issue. 9,
p.
27.
Fähndrich, Manuel
Carbin, Michael
and
Larus, James R.
2006.
Reflective program generation with patterns.
p.
275.
Nakata, Keiko
and
Garrigue, Jacques
2006.
Recursive modules for programming.
p.
74.
Garrigue, Jacques
2006.
Programming Languages and Systems.
Vol. 4279,
Issue. ,
p.
44.
Nakata, Keiko
and
Garrigue, Jacques
2006.
Recursive modules for programming.
ACM SIGPLAN Notices,
Vol. 41,
Issue. 9,
p.
74.
Discussions
No Discussions have been published for this article.