1 ;;Quote: parametric polymorphism is better than dynamic approaches; errors caught at compile time; invariants expressed in types; fewer conversions, avoids run-time type checks

1 ;;Quote: .NET Common Language Runtime (CLR) provides a type system and intermediate language for object-oriented languages; stack-based, single-inheritance, interfaces, native code compilation, runtime services, shared libraries

2 ;;Quote: all CLR objects include exact, runtime type information; e.g., distinguishes List from List

2 ;;Quote: use just-in-time type specialization for generics; code generated as needed for parameterized classes; shared code and representations, no boxing, efficient runtime types

7 ;;Quote: parametric polymorphism by new code and data for each instantiation [C++], or one data representation with polymorphic code using pointer types, boxing, or tagged representations

7 ;;Quote: CLR generics identify compatible parameterizations; i.e., reference types, struct types compatible if same layout re garbage collection; otherwise unshared code

7 ;;Quote: CLR objects include vtable pointers for method dispatch and simple type handles

10 ;;Quote: use static type rules and lazy dictionary creation for parametric polymorphism; checked once instead of every instantiation

10 ;;Quote: polymorphic Stack is faster than Stack of Object due to boxing of primitive values