Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Ancona, Davide
and
Zucca, Elena
2001.
ECOOP 2001 — Object-Oriented Programming.
Vol. 2072,
Issue. ,
p.
354.
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.
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.
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.
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.
Ancona, Davide
Fagorzi, Sonia
and
Zucca, Elena
2004.
Exploring New Frontiers of Theoretical Informatics.
Vol. 155,
Issue. ,
p.
423.
Filliâtre, Jean-Christophe
and
Letouzey, Pierre
2004.
Programming Languages and Systems.
Vol. 2986,
Issue. ,
p.
370.
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.
Ramsey, Norman
Fisher, Kathleen
and
Govereau, Paul
2005.
An expressive language of signatures.
p.
27.
Garrigue, Jacques
2006.
Programming Languages and Systems.
Vol. 4279,
Issue. ,
p.
44.
Nakata, Keiko
and
Garrigue, Jacques
2006.
Recursive modules for programming.
p.
74.
Nakata, Keiko
and
Garrigue, Jacques
2006.
Recursive modules for programming.
ACM SIGPLAN Notices,
Vol. 41,
Issue. 9,
p.
74.
Kirchner, Claude
Kirchner, Hélène
and
Santana, Anderson
2006.
Anchoring Modularity in HTML.
Electronic Notes in Theoretical Computer Science,
Vol. 157,
Issue. 2,
p.
133.
Discussions
No Discussions have been published for this article.