nLab Neil Ross

Selected writings

Selected writings

Introducing the functional quantum programming language Quipper:

On quantum compilation and introducing Proto-Quipper:

On quantum programming via dependent linear type theory with Quipper:

On dependent linear type theory and categorical semantics for versions of “Quipper”:

category: people

Last revised on February 25, 2023 at 06:55:11. See the history of this page for a list of all contributions to it.