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

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.

SPEAKER

Holger Stadel Borum, PhD fellow.

TITLE

Time/Temporal Types for MAL

ABSTRACT

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”.

  • Prev Post
  • Next Post