The previous page is sending you to https://www.semanticscholar.org/paper/Silq%3A-a-high-level-quantum-language-with-safe-and-Bichsel-Baader/f222008651e05c3dc01dcaf545a0cbf3f777c8ae.

 If you do not want to visit that page, you can return to the previous page.