Abstract
Polymorphism is a common and useful type abstraction in programming languages as it allows generic operations by using an expression with several types. In Chap. 7 we studied subtyping on both session types and standard \(\pi \)-types, which is a simple form of type abstraction.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2016 Atlantis Press and the author(s)
About this chapter
Cite this chapter
Dardha, O. (2016). Polymorphism. In: Type Systems for Distributed Programs: Components and Sessions. Atlantis Studies in Computing, vol 7. Atlantis Press, Paris. https://doi.org/10.2991/978-94-6239-204-5_8
Download citation
DOI: https://doi.org/10.2991/978-94-6239-204-5_8
Published:
Publisher Name: Atlantis Press, Paris
Print ISBN: 978-94-6239-203-8
Online ISBN: 978-94-6239-204-5
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)