Date and Time: Thursday, 20 January 2011, 15:45 - 16:45

Location: HG 6.96

Speaker: Jeroen Keiren (TU/e / OAS)

Title: Specification of a type system for mCRL2

Abstract:

In this presentation I will discuss the specification of a type system for mCRL2. Especially the problems arising from overloading of function declarations, and from allowing subtyping will be discussed. Furthermore I will discuss assigning types to all subexpressions, which is required to allow the efficient rewriting of expressions.