Chapter 11: Union-like constructs
Abstract
In this chapter we will look at the phenomenon that sometimes the type of a variable can be dynamically determined at runtime. For want of a better term we will call these “union-like” constructs. They can be motivated from a variety of circumstances.
Fields of Study & Subjects
Logic
programming
and type systems
Parallel Computing and Optimization Techniques
Teaching and Learning Programming
Publication details
- Journal / source
- Society for Industrial and Applied Mathematics eBooks
- Pages
- 103–111
- Publication date
- 19 January 2026
- Language
- EN
- Document type
- Book chapter