Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Palsberg, Jens
Wand, Mitchell
and
O'Keefe, Patrick
1997.
Type inference with non-structural subtyping.
Formal Aspects of Computing,
Vol. 9,
Issue. 1,
p.
49.
Brandt, Michael
and
Henglein, Fritz
1997.
Typed Lambda Calculi and Applications.
Vol. 1210,
Issue. ,
p.
63.
Glew, Neal
2000.
An efficient class and object encoding.
ACM SIGPLAN Notices,
Vol. 35,
Issue. 10,
p.
311.
Palsberg, J.
and
Tian Zhao
2000.
Efficient and flexible matching of recursive types.
p.
388.
Nicola, Rocco De
Ferrari, GianLuigi
Pugliese, Rosario
and
Venneri, Betti
2000.
Types for access control.
Theoretical Computer Science,
Vol. 240,
Issue. 1,
p.
215.
Glew, Neal
2000.
An efficient class and object encoding.
p.
311.
Niehren, Joachim
and
Priesnitz, Tim
2001.
Theoretical Aspects of Computer Software.
Vol. 2215,
Issue. ,
p.
360.
Glew, Neal
2002.
Programming Languages and Systems.
Vol. 2305,
Issue. ,
p.
147.
Jha, Somesh
Palsberg, Jens
and
Zhao, Tian
2002.
Foundations of Software Science and Computation Structures.
Vol. 2303,
Issue. ,
p.
187.
Barthe, Gilles
and
Coquand, Thierry
2002.
Applied Semantics.
Vol. 2395,
Issue. ,
p.
1.
Pottier, F.
2003.
A constraint-based presentation and generalization of rows.
p.
331.
Niehren, Joachim
and
Priesnitz, Tim
2003.
Non-structural subtype entailment in automata theory.
Information and Computation,
Vol. 186,
Issue. 2,
p.
319.
Kuncak, V.
and
Rinard, M.
2003.
Structural subtyping of non-recursive types is decidable.
p.
96.
Naumov, Pavel
2006.
Logic of subtyping.
Theoretical Computer Science,
Vol. 357,
Issue. 1-3,
p.
167.
Raghavachari, Mukund
and
Shmueli, Oded
2007.
Efficient Revalidation of XML Documents.
IEEE Transactions on Knowledge and Data Engineering,
Vol. 19,
Issue. 4,
p.
554.
Jha, Somesh
Palsberg, Jens
Zhao, Tian
and
Henglein, Fritz
2008.
Automatic Program Development.
p.
229.
Danielsson, Nils Anders
and
Altenkirch, Thorsten
2010.
Mathematics of Program Construction.
Vol. 6120,
Issue. ,
p.
100.
Kozen, Dexter
2011.
Realization of Coinductive Types.
Electronic Notes in Theoretical Computer Science,
Vol. 276,
Issue. ,
p.
237.
Glew, Neal
2012.
Logic and Program Semantics.
Vol. 7230,
Issue. ,
p.
66.
Noonan, Matt
Loginov, Alexey
and
Cok, David
2016.
Polymorphic type inference for machine code.
p.
27.