Nanopass paper seems to be dead but can be found here at least https://stanleymiracle.github.io/blogs/compiler/docs/extra/n...
Also:
https://www.cambridge.org/core/journals/journal-of-functiona...
Also you could go to Andy Keep's site: https://nanopass.org/
Also:
https://www.cambridge.org/core/journals/journal-of-functiona...