Cover Image

Deconstructed Proto-Quipper: A Rational Reconstruction

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kavanagh, Ryan, Sano, Chuta, Pientka, Brigitte
Format:	Preprint
Published:	2025
Subjects:	Programming Languages 68N18 (Primary), 03B70 (Secondary) F.3.3; D.3.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Message-Observing Sessions
by: Kavanagh, Ryan, et al.
Published: (2024)

Transport via Partial Galois Connections and Equivalences
by: Kappelmann, Kevin
Published: (2023)

The Semantics of Metapropramming in Prolog
by: Warren, David S.
Published: (2024)

Hashing Modulo Context-Sensitive $α$-Equivalence
by: Blaauwbroek, Lasse, et al.
Published: (2024)

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking
by: Oza, Neeva, et al.
Published: (2025)

Folding the Heighway dragon curve
by: Chang, Ting-Wu, et al.
Published: (2026)

Complete Robust Hybrid Systems Reachability
by: Wafa, Noah Abou El, et al.
Published: (2026)

A note on occur-check (extended report)
by: Drabent, Włodzimierz
Published: (2022)

Unraveling the iterative CHAD
by: Nunes, Fernando Lucatelli, et al.
Published: (2025)

Totality for Mixed Inductive and Coinductive Types
by: Hyvernat, Pierre
Published: (2019)

Three non-cubical applications of extension types
by: Zhang, Tesla
Published: (2023)

Internalizing Extensions in Lattices of Type Theories
by: Chan, Jonathan
Published: (2025)

Bounded First-Class Universe Levels in Dependent Type Theory
by: Chan, Jonathan, et al.
Published: (2025)

Nominal techniques as an Agda library
by: Gabbay, Murdoch J., et al.
Published: (2026)

2-Coherent Internal Models of Homotopical Type Theory
by: Chen, Joshua
Published: (2025)

Weak-linearity, globality and in-place update
by: Gramaglia, Hector
Published: (2024)

Abstracting Effect Systems for Algebraic Effect Handlers
by: Yoshioka, Takuma, et al.
Published: (2024)

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
by: Suwa, Takashi, et al.
Published: (2026)

Braids, twists, trace and duality in combinatory algebras
by: Hasegawa, Masahito, et al.
Published: (2024)

Modernizing SMT-Based Type Error Localization
by: Kopinsky, Max, et al.
Published: (2024)

Monoidal closure of Grothendieck constructions via $Σ$-tractable monoidal structures and Dialectica formulas
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)

(Co)condition hits the Path
by: Zhang, Tesla, et al.
Published: (2024)

Vanilla Object Orientation (VOO): A Value-Semantics Approach to Classes in Tcl
by: Araujo, Alan
Published: (2026)

Intent-Driven Computing: A Computational Model for Governed Autonomous Systems
by: McCann, Alan L.
Published: (2026)

Emulation-Completeness of Programming Languages
by: Morse, Gregory, et al.
Published: (2026)

The Relational Machine Calculus
by: Barrett, Chris, et al.
Published: (2024)

Gödel Mirror: A Formal System For Contradiction-Driven Recursion
by: Chan, Jhet
Published: (2025)

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
by: Walsh, Sean
Published: (2024)

Polymorphic Bottom-Up Weighted Relational Programming
by: Volkov, Dmitri
Published: (2026)

Committing to the bit: Relational programming with semiring arrays and SAT solving
by: Volkov, Dmitri, et al.
Published: (2025)

The concept of class invariant in object-oriented programming
by: Meyer, Bertrand, et al.
Published: (2021)

Verification of Quantum Protocols Adopting Physically Admissible Schedulers
by: Ceragioli, Lorenzo, et al.
Published: (2026)

On systematic construction of correct logic programs
by: Drabent, Włodzimierz
Published: (2025)

Probability and Angelic Nondeterminism with Multiset Semantics
by: Ong, Shawn, et al.
Published: (2024)

Complete Game Logic with Sabotage
by: Wafa, Noah Abou El, et al.
Published: (2024)

Formal Verification of Imperative First-Class Functions in Move
by: Grieskamp, Wolfgang, et al.
Published: (2026)

Loops, Inverse Limits and Non-Determinism
by: Brattka, Vasco
Published: (2025)

Algebraic Proof Theory for Infinitary Action Logic
by: Fussner, Wesley, et al.
Published: (2025)

Truth-Aware Decoding: A Program-Logic Approach to Factual Language Generation
by: Alpay, Faruk, et al.
Published: (2025)

To Be or Not To Be: Adding Integrity Constraints to stableKanren to Make a Decision
by: Guo, Xiangyu, et al.
Published: (2024)