Buchumschlag

On the Semantic Expressiveness of Iso- and Equi-Recursive Types

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Devriese, Dominique, Martin, Eric Mark, Patrignani, Marco
Format:	Preprint
Veröffentlicht:	2020
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Iso-Recursive Multiparty Sessions and their Automated Verification -- Technical Report
von: Giunti, Marco, et al.
Veröffentlicht: (2025)

Full Iso-recursive Types
von: Zhou, Litao, et al.
Veröffentlicht: (2024)

Towards Computational UIP in Cubical Agda
von: Tan, Yee-Jian, et al.
Veröffentlicht: (2025)

Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness
von: Bao, Yuyan, et al.
Veröffentlicht: (2025)

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts
von: Huyghebaert, Sander, et al.
Veröffentlicht: (2023)

Cerisier: A Program Logic for Attestation in a Capability Machine
von: Rousseau, June, et al.
Veröffentlicht: (2026)

Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
von: Jia, Songlin, et al.
Veröffentlicht: (2024)

On the Expressivity of Typed Concurrent Calculi
von: Paulus, Joseph William Neal
Veröffentlicht: (2024)

Do You Even Lift? Strengthening Compiler Security Guarantees Against Spectre Attacks
von: Fabian, Xaver, et al.
Veröffentlicht: (2024)

EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence Checking
von: Wei, Anjiang, et al.
Veröffentlicht: (2025)

Computationally Bounded Robust Compilation and Universally Composable Security
von: Künnemann, Robert, et al.
Veröffentlicht: (2024)

Secure Composition of Robust and Optimising Compilers
von: Kruse, Matthis, et al.
Veröffentlicht: (2023)

Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory (Extended Version)
von: Giovannini, Eric, et al.
Veröffentlicht: (2024)

Adaptive Recursive Query Optimization
von: Herlihy, Anna, et al.
Veröffentlicht: (2023)

Language-Integrated Recursive Queries (Full Version)
von: Herlihy, Anna, et al.
Veröffentlicht: (2025)

Semantic-Type-Guided Bug Finding
von: Qian, Kelvin, et al.
Veröffentlicht: (2024)

IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications
von: Geng, Chujun, et al.
Veröffentlicht: (2024)

Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
von: Lybech, Stian, et al.
Veröffentlicht: (2025)

Increasing the Expressiveness of a Gradual Verifier
von: Gupta, Priyam
Veröffentlicht: (2025)

Abstracting Extensible Recursive Functions
von: Hubers, Alex, et al.
Veröffentlicht: (2024)

Gradual Sensitivity Typing
von: Arquez, Damian, et al.
Veröffentlicht: (2023)

The Semantics of Effects: Centrality, Quantum Control and Reversible Recursion
von: Lemonnier, Louis
Veröffentlicht: (2024)

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)
von: Xu, Yichen, et al.
Veröffentlicht: (2025)

SafeTree: Expressive Tree Policies for Microservices
von: Grewal, Karuna, et al.
Veröffentlicht: (2025)

Complete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version)
von: Deng, Haotian, et al.
Veröffentlicht: (2025)

LACUNA: Safe Agents as Recursive Program Holes
von: Zhao, Yaoyu, et al.
Veröffentlicht: (2026)

Compiling Gradual Types with Evidence
von: Romero, José Luis, et al.
Veröffentlicht: (2025)

Evaluating Program Semantics Reasoning with Type Inference in System F
von: He, Yifeng, et al.
Veröffentlicht: (2025)

Optimizing Layout of Recursive Datatypes with Marmoset
von: Singhal, Vidush, et al.
Veröffentlicht: (2024)

Denotational Correctness of Forward-Mode Automatic Differentiation for Iteration and Recursion
von: Vákár, Matthijs
Veröffentlicht: (2020)

Raqlet: Cross-Paradigm Compilation for Recursive Queries
von: Shaikhha, Amir, et al.
Veröffentlicht: (2025)

Qmod: Expressive High-Level Quantum Modeling
von: Vax, Matan, et al.
Veröffentlicht: (2025)

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version)
von: Cutler, Joseph W., et al.
Veröffentlicht: (2024)

First-Class Refinement Types for Scala
von: Bovel, Matt, et al.
Veröffentlicht: (2026)

SEMBridge: Tagless-Final Program Semantics with Weakest-Precondition and Bounded-Checking Interpretations
von: Liang, Eric
Veröffentlicht: (2026)

Omega: The Power of Visual Simplicity
von: Sonntag, Benoit, et al.
Veröffentlicht: (2024)

Bithoven: Formal Safety for Expressive Bitcoin Smart Contracts
von: Cho, Hyunhum, et al.
Veröffentlicht: (2026)

Modelling Recursion and Probabilistic Choice in Guarded Type Theory
von: Stassen, Philipp Jan Andries, et al.
Veröffentlicht: (2024)

Recursive Mutexes in Separation Logic
von: Du, Ke, et al.
Veröffentlicht: (2026)

Rebound: Efficient, Expressive, and Well-Scoped Binding
von: De Santo, Noé, et al.
Veröffentlicht: (2025)