Parameterized Types and Java
Java offers the real possibility that most programs can be written in a type-safe language However, for Java to be broadly useful, it needs additional expressive power. This paper extends Java in one area where more power is needed: support for parametric polymorphism, which allows the definition an...
| Main Authors: | , , |
|---|---|
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149261 |
| _version_ | 1811094428317646848 |
|---|---|
| author | Bank, Joseph A. Liskov, Barbara Myers, Albert C. |
| author_facet | Bank, Joseph A. Liskov, Barbara Myers, Albert C. |
| author_sort | Bank, Joseph A. |
| collection | MIT |
| description | Java offers the real possibility that most programs can be written in a type-safe language However, for Java to be broadly useful, it needs additional expressive power. This paper extends Java in one area where more power is needed: support for parametric polymorphism, which allows the definition and implementation of generic abstractions. |
| first_indexed | 2024-09-23T15:59:54Z |
| id | mit-1721.1/149261 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T15:59:54Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1492612023-03-30T03:08:45Z Parameterized Types and Java Bank, Joseph A. Liskov, Barbara Myers, Albert C. Java offers the real possibility that most programs can be written in a type-safe language However, for Java to be broadly useful, it needs additional expressive power. This paper extends Java in one area where more power is needed: support for parametric polymorphism, which allows the definition and implementation of generic abstractions. 2023-03-29T14:40:00Z 2023-03-29T14:40:00Z 1996-05 https://hdl.handle.net/1721.1/149261 MIT-LCS-TM-553 application/pdf |
| spellingShingle | Bank, Joseph A. Liskov, Barbara Myers, Albert C. Parameterized Types and Java |
| title | Parameterized Types and Java |
| title_full | Parameterized Types and Java |
| title_fullStr | Parameterized Types and Java |
| title_full_unstemmed | Parameterized Types and Java |
| title_short | Parameterized Types and Java |
| title_sort | parameterized types and java |
| url | https://hdl.handle.net/1721.1/149261 |
| work_keys_str_mv | AT bankjosepha parameterizedtypesandjava AT liskovbarbara parameterizedtypesandjava AT myersalbertc parameterizedtypesandjava |