Copertina

Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Niu, Yue, Sterling, Jonathan, Harper, Robert
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A denotationally-based program logic for higher-order store
di: Aagaard, Frederik Lerbjerg, et al.
Pubblicazione: (2023)

Canonicity for Cost-Aware Logical Framework via Synthetic Tait Computability
di: Li, Runming, et al.
Pubblicazione: (2025)

Mechanizing Synthetic Tait Computability in Istari
di: Li, Runming, et al.
Pubblicazione: (2025)

Logical Relations for Session-Typed Concurrency
di: Balzer, Stephanie, et al.
Pubblicazione: (2023)

Full Iso-recursive Types
di: Zhou, Litao, et al.
Pubblicazione: (2024)

Abstraction Functions as Types
di: Grodin, Harrison, et al.
Pubblicazione: (2025)

When is the partial map classifier a Sierpiński cone?
di: Pugh, Leoni, et al.
Pubblicazione: (2025)

Polyregular equivalence is undecidable in higher-order types
di: Bojańczyk, Mikołaj, et al.
Pubblicazione: (2026)

Compositional security definitions for higher-order where declassification
di: Menz, Jan, et al.
Pubblicazione: (2026)

Amortized Analysis via Coalgebra
di: Grodin, Harrison, et al.
Pubblicazione: (2024)

Learning logic programs by discovering higher-order abstractions
di: Hocquette, Céline, et al.
Pubblicazione: (2023)

Origami: (un)folding the abstraction of recursion schemes for program synthesis
di: Fernandes, Matheus Campos, et al.
Pubblicazione: (2024)

An Iris for Expected Cost Analysis
di: Lohse, Janine, et al.
Pubblicazione: (2024)

Efficient Cost Bounds with Linear Maps
di: Kahn, David M, et al.
Pubblicazione: (2025)

On the computational complexity of JavaScript regex matching
di: Deng, Victor, et al.
Pubblicazione: (2026)

Automated Expected Cost Analysis for Quantum Programs
di: Moser, Georg, et al.
Pubblicazione: (2026)

Cost Analysis for Import and Export Using an Abstract Machine
di: Bennetzen, Benjamin, et al.
Pubblicazione: (2024)

Tensorial structure of the lifting doctrine in constructive domain theory
di: Sterling, Jonathan
Pubblicazione: (2023)

Duality-based Mode Operations and Pyramid Multilayer Mapping for Rhetorical Modes
di: Wu, Zi-Niu
Pubblicazione: (2025)

Can a domain-specific language improve program structure comprehension of data pipelines? A mixed-methods study
di: Heltweg, Philip, et al.
Pubblicazione: (2025)

Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs
di: Xia, Li-yao, et al.
Pubblicazione: (2024)

Scylla: Translating an Applicative Subset of C to Safe Rust
di: Fromherz, Aymeric, et al.
Pubblicazione: (2024)

Cost-Driven Synthesis of Sound Abstract Interpreters
di: Gu, Qiuhan, et al.
Pubblicazione: (2025)

Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation
di: Martin, Vassor, et al.
Pubblicazione: (2024)

Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic
di: Bobrow, Elliot, et al.
Pubblicazione: (2025)

Certus: A domain specific language for confidence assessment in assurance cases
di: Diemert, Simon, et al.
Pubblicazione: (2025)

Sound Borrow-Checking for Rust via Symbolic Semantics (Long Version)
di: Ho, Son, et al.
Pubblicazione: (2024)

Latent Idiom Recognition for a Minimalist Functional Array Language using Equality Saturation
di: Van der Cruysse, Jonathan, et al.
Pubblicazione: (2023)

Inductive diagrams for causal reasoning
di: Castello, Jonathan, et al.
Pubblicazione: (2023)

Typed compositional quantum computation with lenses
di: Garrigue, Jacques, et al.
Pubblicazione: (2023)

VerilogMonkey: Exploring Parallel Scaling for Automated Verilog Code Generation with LLMs
di: Niu, Juxin, et al.
Pubblicazione: (2025)

Denotational Foundations for Expected Cost Analysis
di: de Amorim, Pedro H. Azevedo
Pubblicazione: (2024)

The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation
di: Yuan, Charles, et al.
Pubblicazione: (2023)

Reasoning about concurrent loops and recursion with rely-guarantee rules
di: Hayes, Ian J., et al.
Pubblicazione: (2025)

Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces
di: Cuéllar, Santiago, et al.
Pubblicazione: (2025)

CRDT Emulation, Simulation, and Representation Independence
di: Liittschwager, Nathan, et al.
Pubblicazione: (2025)

Adaptive Shielding via Parametric Safety Proofs
di: Feng, Yao, et al.
Pubblicazione: (2025)

Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
di: Accattoli, Beniamino
Pubblicazione: (2022)

Higher-order bialgebraic semantics
di: Goncharov, Sergey, et al.
Pubblicazione: (2024)

E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis
di: Chen, Chen, et al.
Pubblicazione: (2024)