Pages that link to "Item:Q2825353"
From MaRDI portal
The following pages link to An overview of QML with a concrete implementation in Haskell (Q2825353):
Displaying 7 items.
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- QPCF: higher-order languages and quantum circuits (Q2331073) (← links)
- Formalization of metatheory of the Quipper quantum programming language in a linear logic (Q2331074) (← links)
- Quantum data and control made easier (Q2870210) (← links)
- On quantum lambda calculi: a foundational perspective (Q2973238) (← links)
- $$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations (Q2988843) (← links)
- (Q5018491) (← links)