Cover Image

On Circuit Description Languages, Indexed Monads, and Resource Analysis

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Sakayori, Ken, Colledan, Andrea, Lago, Ugo Dal
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages
by: Colledan, Andrea, et al.
Published: (2024)

Extensional and Non-extensional Functions as Processes
by: Sakayori, Ken, et al.
Published: (2024)

Linearization via Rewriting (Long Version)
by: Lago, Ugo Dal, et al.
Published: (2025)

Towards Quantum Multiparty Session Types
by: Lanese, Ivan, et al.
Published: (2024)

On Computational Indistinguishability and Logical Relations
by: Lago, Ugo Dal, et al.
Published: (2024)

Multi types and reasonable space
by: Accattoli, Beniamino, et al.
Published: (2022)

Reasonable Space for the $λ$-Calculus, Logarithmically
by: Accattoli, Beniamino, et al.
Published: (2022)

Wiring the Pi-calculus to Denotational Semantics
by: Sakayori, Ken, et al.
Published: (2026)

Relational Hoare Logic for High-Level Synthesis of Hardware Accelerators
by: Tanaka, Izumi, et al.
Published: (2026)

Monadic type-and-effect soundness
by: Dagnino, Francesco, et al.
Published: (2025)

A Monadic Implementation of Functional Logic Programs
by: Hanus, Michael, et al.
Published: (2026)

Notions of Stack-manipulating Computation and Relative Monads (Extended Version)
by: Jiang, Yuchen, et al.
Published: (2025)

Handling Higher-Order Effectful Operations with Judgemental Monadic Laws
by: Yang, Zhixuan, et al.
Published: (2025)

Stone Duality for Monads
by: Garner, Richard, et al.
Published: (2026)

Handling the Selection Monad (Full Version)
by: Plotkin, Gordon, et al.
Published: (2025)

Smart Choices and the Selection Monad
by: Abadi, Martin, et al.
Published: (2020)

Monadic Intersection Types, Relationally (Extended Version)
by: Gavazzo, Francesco, et al.
Published: (2024)

The Vienna Architecture Description Language
by: Freitag, Florian, et al.
Published: (2024)

Strong Dinatural Transformations and Generalised Codensity Monads
by: Piróg, Maciej, et al.
Published: (2025)

The Relative Monadic Metalanguage
by: Liell-Cock, Jack, et al.
Published: (2025)

CktFormalizer: Autoformalization of Natural Language into Circuit Representations
by: Xiong, Jing, et al.
Published: (2026)

RustSFQ: A Domain-Specific Language for SFQ Circuit Design
by: Oishi, Mebuki, et al.
Published: (2025)

Handling Exceptions and Effects with Automatic Resource Analysis
by: Chu, Ethan, et al.
Published: (2026)

Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials
by: Lian, Qihao, et al.
Published: (2025)

Resource Specifications for Resource-Manipulating Programs
by: Grannan, Zachary, et al.
Published: (2023)

Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
by: Cassano, Federico, et al.
Published: (2023)

Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs
by: Xu, Han, et al.
Published: (2026)

DSDL: Data Set Description Language for Bridging Modalities and Tasks in AI Data
by: Wang, Bin, et al.
Published: (2024)

Fast Collection Operations from Indexed Stream Fusion
by: Kovach, Scott, et al.
Published: (2025)

Quantum Circuit Equivalence Checking: A Tractable Bridge From Unitary to Hybrid Circuits
by: Ricciardi, Jérome, et al.
Published: (2025)

Smart Contract Languages: a comparative analysis
by: Bartoletti, Massimo, et al.
Published: (2024)

Arch: An AI-Native Hardware Description Language for Register-Transfer Clocked Hardware Design
by: Zhao, Shuqing
Published: (2026)

Reactive Semantics for User Interface Description Languages
by: Pesin, Basile, et al.
Published: (2025)

DeepCircuitX: A Comprehensive Repository-Level Dataset for RTL Code Understanding, Generation, and PPA Analysis
by: Li, Zeju, et al.
Published: (2025)

Monadic Context Engineering
by: Zhang, Yifan, et al.
Published: (2025)

Optimizing Quantum Circuits, Fast and Slow
by: Xu, Amanda, et al.
Published: (2024)

An Empirical Study on the Performance and Energy Usage of Compiled Python Code
by: Stoico, Vincenzo, et al.
Published: (2025)

Local Optimization of Quantum Circuits (Extended Version)
by: Arora, Jatin, et al.
Published: (2025)

Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages
by: Lundén, Daniel, et al.
Published: (2023)

Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages
by: Mora, Federico, et al.
Published: (2024)