Parametric and Logical Types for Programming and Architecture
Below is this Tech Talk’s Objective. All are welcome, but it is a more Technical topic than most Tech Talks
Milner’s slogan “Well typed programs can’t go wrong” characterizes type-safe computation
Strongly typed languages with static type checking allow both parametric polymorphism and lifting their logic to the type system. This constructive logic is sound and complete. UML templates allow us to represent such type-safe computation in a technical architecture.
Rick will introduce parametric and logical types for programming and architecture with examples from both Java Generics and UML templates. Participants are encouraged to read Rick’s paper “Parametric and Logical Types for Model-Driven Engineering” before the talk.
Paper: Parametric and Logical Types for Model-Driven Engineering