:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Cowderoy, Philippa
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2412.16206
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

Orthologic Type Systems
by: Guilloud, Simon, et al.
Published: (2025)

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

Linear Constraints
by: Spiwack, Arnaud, et al.
Published: (2026)

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

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

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

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

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

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

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version)
by: Lööw, Andreas, et al.
Published: (2024)

Stream Types
by: Cutler, Joseph W., et al.
Published: (2023)

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

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

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

Typing Composite Subjects
by: Aceto, Luca, et al.
Published: (2024)

Modal Effect Types
by: Tang, Wenhao, et al.
Published: (2024)

Polymorphic Coverage Types
by: Zhou, Zhe, et al.
Published: (2023)

Abstraction Functions as Types
by: Grodin, Harrison, et al.
Published: (2025)

Typing Composable Coroutines
by: Gu, Qiqi, et al.
Published: (2023)

Gradual Sensitivity Typing
by: Arquez, Damian, et al.
Published: (2023)

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

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

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

On Representability of Multiple-Valued Functions by Linear Lambda Terms Typed with Second-order Polymorphic Type System
by: Matsuoka, Satoshi
Published: (2026)

SynQ: An Embedded DSL for Synchronous System Design with Quantitative Types
by: Chen, Rui, et al.
Published: (2025)

Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling
by: Ishii, Hiromi, et al.
Published: (2025)

Efficient Algorithms for Partial Constraint Satisfaction Problems over Control-flow Graphs
by: Cai, Xuran, et al.
Published: (2026)