02/09/2020 – Talk: “Time/Temporal Types For MAL” By Holger Stadel Borum

Holger Stadel Borum will give a talk about time/temporal types for MAL. Details below.


Holger Stadel Borum, PhD fellow.


Time/Temporal Types for MAL


In financial calculations capital (or payments) exists at a point in time. Capital at different points in time are incomparable, e.g. 10 $ in the year 2020 is not the same as 10 $ in the year 2021. However, capital may be translated from one point in time to another by ‘discounting’ the amount. I present some early work on a type system handling these rules in a polymorphic type system with an approach similar to Andrew Kennedy’s “Dimension Types”.