An introduction to different programming paradigms with a focus on the functional paradigm – lists, recursion, lazy-evaluation, higher-order functions, currying and lambda expressions. The course ...

In this talk, I will introduce a recent paradigm for the quantum analog of functional programming, known as higher-order quantum computation. I will present my results on how this paradigm can be used ...