1. High-level methods for quantum computation and information;Abramsky,2004
2. A functional quantum programming language;Altenkirch,2005
3. An algebra of pure quantum programming;Altenkirch;Electron. Notes Theor. Comput. Sci.,2007
4. Java: Proving type safety for java simple closures;Bellia,2010