Buchumschlag

Information Aware Type Systems and Telescopic Constraint Trees

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Cowderoy, Philippa
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version
von: Karmios, Nat, et al.
Veröffentlicht: (2026)

A Relational Solver for Constraint-based Type Inference
von: Domoratskiy, Eridan, et al.
Veröffentlicht: (2024)

Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints
von: Paul, Abhijit
Veröffentlicht: (2025)

TypeDis: A Type System for Disentanglement
von: Moine, Alexandre, et al.
Veröffentlicht: (2025)

A Hybrid Approach to Semi-automated Rust Verification
von: Ayoun, Sacha-Élie, et al.
Veröffentlicht: (2024)

Type-Based Verification of Connectivity Constraints in Lattice Surgery
von: Wakizaka, Ryo, et al.
Veröffentlicht: (2024)

The Design Principles of the Elixir Type System
von: Castagna, Giuseppe, et al.
Veröffentlicht: (2023)

Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference
von: Bhanuka, Ishan, et al.
Veröffentlicht: (2024)

Behavioural Types for Heterogeneous Systems (Position Paper)
von: Fowler, Simon, et al.
Veröffentlicht: (2024)

Learning Structure-Aware Representations of Dependent Types
von: Kogkalidis, Konstantinos, et al.
Veröffentlicht: (2024)

A Sound Type System for Secure Currency Flow
von: Aceto, Luca, et al.
Veröffentlicht: (2024)

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

Linear Constraints
von: Spiwack, Arnaud, et al.
Veröffentlicht: (2026)

Compositional Symbolic Execution for the Next 700 Memory Models (Extended Version)
von: Lööw, Andreas, et al.
Veröffentlicht: (2025)

A Type System for Data Privacy Compliance in Active Object Languages
von: Baramashetru, Chinmayi Prabhu, et al.
Veröffentlicht: (2025)

Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification
von: Cristiá, Maximiliano, et al.
Veröffentlicht: (2022)

Orthologic Type Systems
von: Guilloud, Simon, et al.
Veröffentlicht: (2025)

Kotlin's Type System is (Also) Unsound
von: Kinsbruner, Elad, et al.
Veröffentlicht: (2024)

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

When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking
von: He, Siyuan, et al.
Veröffentlicht: (2025)

Local Type Inference for Context-Free Session Types
von: Almeida, Bernardo, et al.
Veröffentlicht: (2025)

Stream Types
von: Cutler, Joseph W., et al.
Veröffentlicht: (2023)

Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
von: Li, Senxi, et al.
Veröffentlicht: (2026)

Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
von: Castagna, Giuseppe, et al.
Veröffentlicht: (2024)

Typing Composite Subjects
von: Aceto, Luca, et al.
Veröffentlicht: (2024)

Modal Effect Types
von: Tang, Wenhao, et al.
Veröffentlicht: (2024)

Polymorphic Coverage Types
von: Zhou, Zhe, et al.
Veröffentlicht: (2023)

Abstraction Functions as Types
von: Grodin, Harrison, et al.
Veröffentlicht: (2025)

Typing Composable Coroutines
von: Gu, Qiqi, et al.
Veröffentlicht: (2023)

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

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

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

VeriAgent: A Tool-Integrated Multi-Agent System with Evolving Memory for PPA-Aware RTL Code Generation
von: Wang, Yaoxiang, et al.
Veröffentlicht: (2026)

Numerical Fuzz: A Type System for Rounding Error Analysis
von: Kellison, Ariel E., et al.
Veröffentlicht: (2024)

A Type System to Ensure Non-Interference in ReScript
von: Bennetzen, Benjamin, et al.
Veröffentlicht: (2024)

Type Universes as Allocation Effects
von: Koronkevich, Paulette, et al.
Veröffentlicht: (2024)

Synchronous Programming with Refinement Types
von: Chen, Jiawei, et al.
Veröffentlicht: (2024)

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

Contextual Metaprogramming for Session Types
von: Ângelo, Pedro, et al.
Veröffentlicht: (2026)

Navigating the Python Type Jungle
von: Nacu, Andrei, et al.
Veröffentlicht: (2025)