Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Nystrom, Nathaniel
Saraswat, Vijay
Palsberg, Jens
and
Grothoff, Christian
2008.
Constrained types for object-oriented languages.
ACM SIGPLAN Notices,
Vol. 43,
Issue. 10,
p.
457.
Nystrom, Nathaniel
Saraswat, Vijay
Palsberg, Jens
and
Grothoff, Christian
2008.
Constrained types for object-oriented languages.
p.
457.
Ancona, Davide
and
Lagorio, Giovanni
2010.
Complete coinductive subtyping for abstract compilation of object-oriented languages.
p.
1.
Ancona, Davide
Corradi, Andrea
Lagorio, Giovanni
and
Damiani, Ferruccio
2011.
Formal Verification of Object-Oriented Software.
Vol. 6528,
Issue. ,
p.
31.
Ancona, Davide
and
Lagorio, Giovanni
2011.
Idealized coinductive type systems for imperative object-oriented programs.
RAIRO - Theoretical Informatics and Applications,
Vol. 45,
Issue. 1,
p.
3.
López-Fraguas, Francisco J.
and
Martin-Martin, Enrique
2013.
Typing as functional-logic evaluation.
p.
23.
Chen, Sheng
Erwig, Martin
and
Walkingshaw, Eric
2014.
Extending Type Inference to Variational Programs.
ACM Transactions on Programming Languages and Systems,
Vol. 36,
Issue. 1,
p.
1.
Ahn, Ki Yung
2017.
Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types.
Electronic Proceedings in Theoretical Computer Science,
Vol. 258,
Issue. ,
p.
68.
Franceschini, Luca
Ancona, Davide
and
Komendantskaya, Ekaterina
2017.
Structural Resolution for Abstract Compilation of Object-Oriented Languages.
Electronic Proceedings in Theoretical Computer Science,
Vol. 258,
Issue. ,
p.
19.
FARKA, FRANTIŠEK
KOMENDANTSKYA, EKATERINA
and
HAMMOND, KEVIN
2018.
Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis.
Theory and Practice of Logic Programming,
Vol. 18,
Issue. 3-4,
p.
484.
van Antwerpen, Hendrik
Bach Poulsen, Casper
Rouvoet, Arjen
and
Visser, Eelco
2018.
Scopes as types.
Proceedings of the ACM on Programming Languages,
Vol. 2,
Issue. OOPSLA,
p.
1.
Basold, Henning
Komendantskaya, Ekaterina
and
Li, Yue
2019.
Programming Languages and Systems.
Vol. 11423,
Issue. ,
p.
783.
Discussions
No Discussions have been published for this article.