Skip to main content

Type and Effect Systems

Flemming Nielson and Hanne Riis Nielson

Discussion led by Scott Messick on October 20, 2017

The design and implementation of a correct system can benefit from employing static techniques for ensuring that the dynamic behaviour satisfies the specification. Many programming languages incorporate types for ensuring that certain operations are only applied to data of the appropriate form. A natural extension of type checking techniques is to enrich the types with annotations and effects that further describe intensional aspects of the dynamic behaviour.