search

uchicago-cs / plrg

PL Reading Group Website
https://uchicago-cs.github.io/plrg
14 stars 6 forks source link

A Linear Dependent Type Theory (TYPES '16) #1

Open uchwings opened 7 years ago

uchwings commented 7 years ago

http://www.cs.rhul.ac.uk/home/zhaohui/TYPES16.pdf

k4rtik commented 4 years ago

Peter Selinger and group have an upcoming paper on this topic, preliminary results/talk at https://popl20.sigplan.org/details/planqc-2020-papers/15/Invited-Talk-Dependently-Typed-Quantum-Programming-in-Proto-Quipper

k4rtik commented 4 years ago

And out now: Linear Dependent Type Theory for Quantum Programming Languages