Skip header Section
Skip Bibliometrics Section
Theoretical aspects of object-oriented programming: types, semantics, and language designAugust 1994
- Editors:
- Carl A. Gunter,
- John C. Mitchell
Abstract
No abstract available.
Cited By
- Brijder R, Gillis J and Van den Bussche J (2021). DNAQL: a query language for DNA sticker complexes, Natural Computing: an international journal, 20:1, (161-189), Online publication date: 1-Mar-2021.
Zhang Y and Myers A (2017). Familia: unifying interfaces, type classes, and family polymorphism, Proceedings of the ACM on Programming Languages, 1:OOPSLA, (1-31), Online publication date: 12-Oct-2017.- Chugh R IsoLATE Proceedings of the 24th European Symposium on Programming on Programming Languages and Systems - Volume 9032, (257-282)
- Lindley S and Cheney J Row-based effect types for database integration Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation, (91-102)
- Kiselyov O Typed tagless final interpreters Proceedings of the 2010 international spring school conference on Generic and Indexed Programming, (130-174)
- Cook W On understanding data abstraction, revisited Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications, (557-572)
- Cook W (2009). On understanding data abstraction, revisited, ACM SIGPLAN Notices, 44:10, (557-572), Online publication date: 25-Oct-2009.
- Ghelli G, Onose N, Rose K and Siméon J A better semantics for XQuery with side-effects Proceedings of the 11th international conference on Database programming languages, (81-96)
- Nystrom N, Qi X and Myers A J& Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, (21-36)
- Nystrom N, Qi X and Myers A (2006). J&, ACM SIGPLAN Notices, 41:10, (21-36), Online publication date: 16-Oct-2006.
- Nystrom N, Chong S and Myers A Scalable extensibility via nested inheritance Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (99-115)
- Nystrom N, Chong S and Myers A (2004). Scalable extensibility via nested inheritance, ACM SIGPLAN Notices, 39:10, (99-115), Online publication date: 1-Oct-2004.
- Nystrom N, Clarkson M and Myers A Polyglot Proceedings of the 12th international conference on Compiler construction, (138-152)
- Siméon J and Wadler P (2019). The essence of XML, ACM SIGPLAN Notices, 38:1, (1-13), Online publication date: 15-Jan-2003.
- Siméon J and Wadler P The essence of XML Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (1-13)
- Schmidt D Programming language semantics Encyclopedia of Computer Science, (1463-1466)
- Ohori A and Yamatodani K An interoperable calculus for external object access Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, (60-71)
- Ohori A and Yamatodani K (2002). An interoperable calculus for external object access, ACM SIGPLAN Notices, 37:9, (60-71), Online publication date: 17-Sep-2002.
- Cho I and McGregor J A formal approach to specifying and testing the interoperation between components Proceedings of the 38th annual on Southeast regional conference, (161-170)
- van den Bussche J and Waller E Type inference in the polymorphic relational algebra Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (80-90)
- Nishimura S Static typing for dynamic messages Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (266-278)
- Rehof J Minimal typings in atomic subtyping Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (278-291)
- Lee S and Friedman D (1996). Enriching the lambda calculus with contexts, ACM SIGPLAN Notices, 31:6, (239-250), Online publication date: 15-Jun-1996.
- Ghelli G (1996). Complexity of kernel Fun subtype checking, ACM SIGPLAN Notices, 31:6, (134-145), Online publication date: 15-Jun-1996.
- Lee S and Friedman D Enriching the lambda calculus with contexts Proceedings of the first ACM SIGPLAN international conference on Functional programming, (239-250)
- Ghelli G Complexity of kernel Fun subtype checking Proceedings of the first ACM SIGPLAN international conference on Functional programming, (134-145)
- Gordon A and Rees G Bisimilarity for a first-order calculus of objects with subtyping Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (386-395)
- Castagna G and Pierce B Decidable bounded quantification Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (151-162)
Index Terms
- Theoretical aspects of object-oriented programming: types, semantics, and language design
Recommendations
What Is Object-Oriented Programming?
The meaning of the term 'object oriented' is examined in the context of the general-purpose programming language C++. This choice is made partly to introduce C++ and partly because C++ is one of the few languages that supports data abstraction, object-...