Imagen de Portada

Information Aware Type Systems and Telescopic Constraint Trees

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Cowderoy, Philippa
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version
por: Karmios, Nat, et al.
Publicado: (2026)

A Relational Solver for Constraint-based Type Inference
por: Domoratskiy, Eridan, et al.
Publicado: (2024)

Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints
por: Paul, Abhijit
Publicado: (2025)

TypeDis: A Type System for Disentanglement
por: Moine, Alexandre, et al.
Publicado: (2025)

A Hybrid Approach to Semi-automated Rust Verification
por: Ayoun, Sacha-Élie, et al.
Publicado: (2024)

Type-Based Verification of Connectivity Constraints in Lattice Surgery
por: Wakizaka, Ryo, et al.
Publicado: (2024)

The Design Principles of the Elixir Type System
por: Castagna, Giuseppe, et al.
Publicado: (2023)

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

Behavioural Types for Heterogeneous Systems (Position Paper)
por: Fowler, Simon, et al.
Publicado: (2024)

Learning Structure-Aware Representations of Dependent Types
por: Kogkalidis, Konstantinos, et al.
Publicado: (2024)

A Sound Type System for Secure Currency Flow
por: Aceto, Luca, et al.
Publicado: (2024)

Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness
por: Bao, Yuyan, et al.
Publicado: (2025)

Linear Constraints
por: Spiwack, Arnaud, et al.
Publicado: (2026)

A Type System for Data Privacy Compliance in Active Object Languages
por: Baramashetru, Chinmayi Prabhu, et al.
Publicado: (2025)

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

Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification
por: Cristiá, Maximiliano, et al.
Publicado: (2022)

Orthologic Type Systems
por: Guilloud, Simon, et al.
Publicado: (2025)

Kotlin's Type System is (Also) Unsound
por: Kinsbruner, Elad, et al.
Publicado: (2024)

Evaluating Program Semantics Reasoning with Type Inference in System F
por: He, Yifeng, et al.
Publicado: (2025)

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

Local Type Inference for Context-Free Session Types
por: Almeida, Bernardo, et al.
Publicado: (2025)

Stream Types
por: Cutler, Joseph W., et al.
Publicado: (2023)

Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
por: Li, Senxi, et al.
Publicado: (2026)

Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
por: Castagna, Giuseppe, et al.
Publicado: (2024)

Typing Composite Subjects
por: Aceto, Luca, et al.
Publicado: (2024)

Modal Effect Types
por: Tang, Wenhao, et al.
Publicado: (2024)

Polymorphic Coverage Types
por: Zhou, Zhe, et al.
Publicado: (2023)

Abstraction Functions as Types
por: Grodin, Harrison, et al.
Publicado: (2025)

Typing Composable Coroutines
por: Gu, Qiqi, et al.
Publicado: (2023)

Gradual Sensitivity Typing
por: Arquez, Damian, et al.
Publicado: (2023)

Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
por: Jia, Songlin, et al.
Publicado: (2024)

Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
por: Lybech, Stian, et al.
Publicado: (2025)

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

Numerical Fuzz: A Type System for Rounding Error Analysis
por: Kellison, Ariel E., et al.
Publicado: (2024)

A Type System to Ensure Non-Interference in ReScript
por: Bennetzen, Benjamin, et al.
Publicado: (2024)

Type Universes as Allocation Effects
por: Koronkevich, Paulette, et al.
Publicado: (2024)

Synchronous Programming with Refinement Types
por: Chen, Jiawei, et al.
Publicado: (2024)

Full Iso-recursive Types
por: Zhou, Litao, et al.
Publicado: (2024)

Contextual Metaprogramming for Session Types
por: Ângelo, Pedro, et al.
Publicado: (2026)

Navigating the Python Type Jungle
por: Nacu, Andrei, et al.
Publicado: (2025)