Taking Resources to the Type Level – Vilem-Benjamin Liepelt

One of our software engineers, Vilem Liepelt, represented Adjoint and spoke at the Typelevel Summit Lausanne 2019. His talk overviews the Granule type system, which incorporates precision, using data as a resource and quantitative reasoning, through indexed types, linerarity and graded modalities, respectively.