Coinductive Type Systems for Object-Oriented Languages-Reference-Cited by-同舟云学术

Coinductive Type Systems for Object-Oriented Languages

Published:2009 Issue: Volume: Page:2-26
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Ancona Davide,Lagorio Giovanni

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-03013-0_2

Reference22 articles.

1. Lecture Notes in Computer Science;O. Agesen,1995

2. Amadio, R., Cardelli, L.: Subtyping recursive types. ACM Transactions on Programming Languages and Systems 15(4) (1993)

3. Ancona, D., Ancona, M., Cuni, A., Matsakis, N.: RPython: a Step Towards Reconciling Dynamically and Statically Typed OO Languages. In: OOPSLA 2007 Proceedings and Companion, DLS 2007: Proceedings of the 2007 Symposium on Dynamic Languages. ACM Press, New York (2007)

4. Ancona, D., Damiani, F., Drossopoulou, S., Zucca, E.: Polymorphic bytecode: Compositional compilation for Java-like languages. In: ACM Symp. on Principles of Programming Languages 2005. ACM Press, New York (2005)

5. Ancona, D., Lagorio, G., Zucca, E.: True separate compilation of Java classes. In: PPDP 2002 - Principles and Practice of Declarative Programming. ACM Press, New York (2002)

Cited by 21 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. COAXIOMS: FLEXIBLE COINDUCTIVE DEFINITIONS BY INFERENCE SYSTEMS;LOG METH COMPUT SCI;2019

2. Preemptive type checking;Journal of Logical and Algebraic Methods in Programming;2018-12

3. Structural Resolution for Abstract Compilation of Object-Oriented Languages;Electronic Proceedings in Theoretical Computer Science;2017-09-13

4. Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types;Electronic Proceedings in Theoretical Computer Science;2017-09-13

5. Generalizing Inference Systems by Coaxioms;Programming Languages and Systems;2017