nLab
Neil Ross

Selected writings

Selected writings

Introducing the functional quantum programming language Quipper:

On quantum programming via dependent linear type theory with Quipper:

category: people

Created on February 16, 2021 at 00:49:24. See the history of this page for a list of all contributions to it.