Sign in
Andrea Colledan
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 4
Top Topics
Description Languages
Estimation Accuracy
Abstract Machine
Operational Semantics
Top Venues
CoRR
TYPES
</>
Publications
</>
Andrea Colledan
,
Ugo Dal Lago
Circuit Width Estimation via Effect Typing and Linear Dependency (Long Version).
CoRR
(2023)
Andrea Colledan
,
Ugo Dal Lago
On Dynamic Lifting and Effect Typing in Circuit Description Languages.
TYPES
(2022)
Andrea Colledan
,
Ugo Dal Lago
On Dynamic Lifting and Effect Typing in Circuit Description Languages (Extended Version).
CoRR
(2022)
Andrea Colledan
On Abstract Machine Semantics for Proto-Quipper-M.
CoRR
(2021)