BabyJ-Reference-Cited by-同舟云学术

BabyJ

Published:2003-10 Issue:8 Volume:82 Page:53-81
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Anderson Christopher,Drossopoulou Sophia

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference20 articles.

1. M. Abadi and L. Cardelli. An imperative object calculus, 1995.

2. Gilad Bracha and David Griswold. Strongtalk: Typechecking Smalltalk in a Production Environment. In Proceedings of the OOPSLA '93 Conference on Object-oriented Programming Systems, Languages and Applications, pages 215–230, 1993.

3. C. Chambers. The cecil language: Specification and rationale. Technical Report TR-93-03-05, 1993.

4. Craig Chambers and Gary T. Leavens. BeCecil, A core object-oriented language with block structure and multimethods: Semantics and typing. In The Fourth International Workshop on Foundations of Object-Oriented Languages, FOOL 4, Paris, France, 1996.

5. Christopher Anderson, Sophia Drossopoulou. Javao-A Subset of Java - report - http://www.binarylord.com/work.

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

1. Transitioning from structural to nominal code with efficient gradual typing;Proceedings of the ACM on Programming Languages;2021-10-20

2. Towards Gradually Typed Capabilities in the Pi-Calculus;Electronic Proceedings in Theoretical Computer Science;2019-09-12

3. The Next 7000 Programming Languages;Lecture Notes in Computer Science;2019

4. Sound gradual typing is nominally alive and well;Proceedings of the ACM on Programming Languages;2017-10-12

5. Lucretia — intersection type polymorphism for scripting languages;Electronic Proceedings in Theoretical Computer Science;2015-03-17