50 citations · 180 across the 26 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2021★ 2 cited
Qimaera: Type-safe (Variational) Quantum Programming in Idris
Liliane-Joy Dandy, Emmanuel Jeandel, Vladimir Zamdzhiev
Variational Quantum Algorithms are hybrid classical-quantum algorithms where classical and quantum computation work in tandem to solve computational problems. These algorithms crea…
cs.PL2019★ 5 cited
LNL-FPC: The Linear/Non-linear Fixpoint Calculus
Bert Lindenhovius, Michael Mislove, Vladimir Zamdzhiev
We describe a type system with mixed linear and non-linear recursive types called LNL-FPC (the linear/non-linear fixpoint calculus). The type system supports linear typing, which e…