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.
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.
ACM SIGPLAN Notices,
Vol. 35,
Issue. 9,
p.
198.
Crary, Karl
2000.
Typed compilation of inclusive subtyping.
p.
68.
Davies, Rowan
and
Pfenning, Frank
2000.
Intersection types and computational effects.
p.
198.
Shields, Mark
and
Meijer, Erik
2001.
Type-indexed rows.
ACM SIGPLAN Notices,
Vol. 36,
Issue. 3,
p.
261.
Shields, Mark
and
Meijer, Erik
2001.
Type-indexed rows.
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.
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.
ACM SIGPLAN Notices,
Vol. 40,
Issue. 6,
p.
73.
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
Grochulla, Martin P.
Hritcu, Catalin
and
Maffei, Matteo
2009.
Achieving Security Despite Compromise Using Zero-knowledge.
p.
308.
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.
ACM SIGPLAN Notices,
Vol. 51,
Issue. 9,
p.
364.
Oliveira, Bruno C. d. S.
Shi, Zhiyuan
and
Alpuim, João
2016.
Disjoint intersection types.
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.