[bradrn]

And a direct link to the paper: https://www.irif.fr/_media/users/gduboc/elixir-types.pdf