Title: Generics of a higher kind
Authors: Moors, Adriaan ×
Piessens, Frank
Odersky, Martin #
Issue Date: 2008
Publisher: ACM
Host Document: Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008 pages:423-438
Conference: OOPSLA edition:23 location:Nashville, Tennessee, USA date:19-23 October 2008
Abstract: With Java 5 and C# 2.0, first-order parametric polymorphism was introduced in mainstream object-oriented programming languages under the name of generics. Although the first-order variant of generics is very useful, it also imposes some restrictions: it is possible to abstract over a type, but the resulting type constructor cannot be abstracted over. This can lead to code duplication. We removed this restriction in Scala, by allowing type constructors as type parameters and abstract type members. This paper presents the design and implementation of the resulting type constructor polymorphism. Furthermore, we study how this feature interacts with existing object-oriented constructs, and show how it makes the language more expressive.
ISBN: 978-1-60558-215-3/08/10
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
tcpoly.pdfMain Article Published 658KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science