[Haskell-cafe] Disadvantages of de Bruijn indicies?

[Nils Anders Danielsson]

On Sun, 13 May 2007, Stefan Holdermans <stefan at cs.uu.nl> wrote:

> Anyway, Conor and James' Haskell Workshop paper on manipulating
> syntax that involves both free and bound variables [1] is really nice
> and could perhaps be of interest to you.

If I remember correctly this paper is not about a pure de Bruijn index
representation, but about a mix between names and indices which often
goes under the name "locally nameless".

-- 
/NAD