Compiling Quantum Conditionals in a Functional Language

Visa enkel post
dc.contributor.authorBotö, Nicklas
dc.contributor.authorForslund, Fabian
dc.contributor.departmentChalmers tekniska högskolasv
dc.contributor.examinerGeresdi, Attila
dc.contributor.supervisorGeresdi, Attila
dc.date.accessioned2022-01-03T12:56:37Z
dc.date.available2022-01-03T12:56:37Z
dc.date.issued2021sv
dc.date.submitted2020
dc.description.abstractWe present the functional quantum programming language Signe. The language features type inference, quantum conditionals, and compiles to multiple low-level representations. A compiler for Signe is presented with an implementation in Haskell. The compiler uses a Hindley-Milner type system, linearity checking, compilation to circuit and matrix data types, and a modern, user-friendly syntax in the functional style. The operational semantics are described in terms of the category of finite quantum computations FQC. Signe’s semantics and the FQC category are based on the QML language by Altenkirch and Grattage [1, 5, 4].sv
dc.identifier.coursecodeTRA105sv
dc.identifier.urihttps://hdl.handle.net/20.500.12380/304420
dc.language.isoengsv
dc.titleCompiling Quantum Conditionals in a Functional Languagesv
dc.type.degreeProjektarbete, avancerad nivåsv
Ladda ner
Original bundle
Visar 1 - 1 av 1
Bild (thumbnail)
Namn:
Bot_Forslund_Compiling_quantum_conditionals_in_a_functional_langauge_Signe.pdf
Storlek:
3.76 MB
Format:
Adobe Portable Document Format
Beskrivning:
Ladda ner
License bundle
Visar 1 - 1 av 1
Bild (thumbnail)
Namn:
license.txt
Storlek:
1.51 KB
Format:
Item-specific license agreed upon to submission
Beskrivning:
Ladda ner
Samling
Projektarbeten