Re: [Haskell-cafe] Disadvantages of de Bruijn indicies?

On Sun, 13 May 2007, Stefan Holdermans 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