Given a simple recursive function, we show how to extract from it a
reve...
Given a simple recursive function, we show how to extract two interactin...
qPCF is a paradigmatic quantum programming language that ex- tends PCF w...
We introduce the functional language IQu ("Haiku") which, under the para...