Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. Lect Notes Comput Sci;M. Aksit,1994
2. Ken Arnold and James Gosling. The Java™ Programming Language. The Java™ Series. Addison-Wesley, Reading, MA, USA, 1998.
3. L. Augustsson. Cayenne–a language with dependent types. In Proceedings of the 3rd ACM SIGPLAN International Conference on Functional Programming, pages 239–250, 1998.
4. Don Batory, Rich Cardone, and Yannis Smaragdakis. Object-oriented frameworks and product lines. In P. Donohoe, editor, Proceedings of the First Software Product Line Conference, pages 227–247, August 2000.
5. B. Bobrow, D. DeMichiel, R. Gabriel, S. Keene, G. Kiczales, and D. Moon. Common Lisp Object System Specification. Document 88-002R. X3J13, June 1988.
Cited by
57 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Persimmon: Nested Family Polymorphism with Extensible Variant Types;Proceedings of the ACM on Programming Languages;2024-04-29
2. Extensible Metatheory Mechanization via Family Polymorphism;Proceedings of the ACM on Programming Languages;2023-06-06
3. BatakJava: An Object-Oriented Programming Language with Versions;Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering;2022-11-29
4. Compositional embeddings of domain-specific languages;Proceedings of the ACM on Programming Languages;2022-10-31
5. Towards the Detection of Hidden Familial Type Correlations in Java Code;2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM);2022-10