Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Büchi, Martin
and
Weck, Wolfgang
1998.
Compound types for Java.
ACM SIGPLAN Notices,
Vol. 33,
Issue. 10,
p.
362.
Büchi, Martin
and
Weck, Wolfgang
1998.
Compound types for Java.
p.
362.
Baldan, Paolo
Ghelli, Giorgio
and
Raffaetà, Alessandra
1999.
Basic Theory of F-Bounded Quantification.
Information and Computation,
Vol. 153,
Issue. 2,
p.
173.
Davies, Rowan
and
Pfenning, Frank
2000.
Intersection types and computational effects.
ACM SIGPLAN Notices,
Vol. 35,
Issue. 9,
p.
198.
Davies, Rowan
and
Pfenning, Frank
2000.
Intersection types and computational effects.
p.
198.
Crary, Karl
2000.
Typed compilation of inclusive subtyping.
p.
68.
Crary, Karl
2000.
Typed compilation of inclusive subtyping.
ACM SIGPLAN Notices,
Vol. 35,
Issue. 9,
p.
68.
Shields, Mark
and
Meijer, Erik
2001.
Type-indexed rows.
p.
261.
Shields, Mark
and
Meijer, Erik
2001.
Type-indexed rows.
ACM SIGPLAN Notices,
Vol. 36,
Issue. 3,
p.
261.
Burnett, M.
and
Erwig, M.
2002.
Visually customizing inference rules about apples and oranges.
p.
140.
Erwig, Martin
and
Burnett, Margaret
2002.
Practical Aspects of Declarative Languages.
Vol. 2257,
Issue. ,
p.
173.
Wei-Ngan Chin
Siau-Cheng Khoo
Shengchao Qin
Popeea, C.
and
Huu Hai Nguyen
2005.
Verifying safety policies with size properties and alias controls.
p.
186.
Siek, Jeremy G.
and
Lumsdaine, Andrew
2005.
Essential language support for generic programming.
ACM SIGPLAN Notices,
Vol. 40,
Issue. 6,
p.
73.
Siek, Jeremy G.
and
Lumsdaine, Andrew
2005.
Essential language support for generic programming.
p.
73.
Backes, Michael
Grochulla, Martin P.
Hritcu, Catalin
and
Maffei, Matteo
2009.
Achieving Security Despite Compromise Using Zero-knowledge.
p.
308.
Kyas, Marcel
2009.
Tool Support for Holistic Modelling of Distributed Embedded Systems in Creol.
Electronic Notes in Theoretical Computer Science,
Vol. 243,
Issue. ,
p.
105.
Backes, Michael
Hriţcu, Cătălin
and
Maffei, Matteo
2012.
Theory of Security and Applications.
Vol. 6993,
Issue. ,
p.
1.
Oliveira, Bruno C. d. S.
Shi, Zhiyuan
and
Alpuim, João
2016.
Disjoint intersection types.
p.
364.
Oliveira, Bruno C. d. S.
Shi, Zhiyuan
and
Alpuim, João
2016.
Disjoint intersection types.
ACM SIGPLAN Notices,
Vol. 51,
Issue. 9,
p.
364.
Tveretina, Olga
Zaichenkov, Pavel
and
Shafarenko, Alex
2020.
Non-local configuration of component interfaces by constraint satisfaction.
Constraints,
Vol. 25,
Issue. 3-4,
p.
121.