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.
p.
362.
Büchi, Martin
and
Weck, Wolfgang
1998.
Compound types for Java.
ACM SIGPLAN Notices,
Vol. 33,
Issue. 10,
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.
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.
Davies, Rowan
and
Pfenning, Frank
2000.
Intersection types and computational effects.
p.
198.
Davies, Rowan
and
Pfenning, Frank
2000.
Intersection types and computational effects.
ACM SIGPLAN Notices,
Vol. 35,
Issue. 9,
p.
198.
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.
Siek, Jeremy G.
and
Lumsdaine, Andrew
2005.
Essential language support for generic programming.
ACM SIGPLAN Notices,
Vol. 40,
Issue. 6,
p.
73.
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.
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.
Marntirosian, Koar
Schrijvers, Tom
Oliveira, Bruno C. d. S.
and
Karachalias, Georgios
2020.
Resolution as intersection subtyping via Modus Ponens.
Proceedings of the ACM on Programming Languages,
Vol. 4,
Issue. OOPSLA,
p.
1.