Rae Impredicative Types And Dynamic

I demonstrate how using

This video discusses GHC's new ImpredicativeTypes extension and how impredicativity and

I introduce the new ImpredicativeTypes extension and show a way to use it to make indexing into binary trees convenient. Code at ...

I run through a toy example of how using unboxed

I explore two examples of

More info about this talk: https://icfp20.sigplan.org/details/icfp-2020-papers/18/A-Quick-Look-at-Impredicativity Authors: Alejandro ...

I present the main result of a recent POPL paper, in how we can use Haskell's linearity mechanism to denote relevance and

We explore the difference in evaluation behavior between datatypes, strict datatypes, and newtypes, which initially came as a ...

I describe how Haskell uses

I give an introduction to GHC's RebindableSyntax extension, with examples. GHC manual page: ...

In an attempt to get better

Abstract: I will try to present the calculus that I designed in 1984–85, inspired by the works of de Bruijn, Girard and Martin-Löf, and ...

This is the third installment in a series about exploring