Cover Image

Refinement-Types Driven Development: A study

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Domínguez, Facundo, Spiwack, Arnaud
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Destination Calculus: A Linear λ-Calculus for Purely Functional Memory Writes
by: Bagrel, Thomas, et al.
Published: (2025)

Invertible Syntax without the Tuples (Functional Pearl)
by: Boespflug, Mathieu, et al.
Published: (2025)

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

Synchronous Programming with Refinement Types
by: Chen, Jiawei, et al.
Published: (2024)

First-Class Refinement Types for Scala
by: Bovel, Matt, et al.
Published: (2026)

Practical Refinement Session Type Inference (Extended Version)
by: Ueno, Toby, et al.
Published: (2026)

Ownership Refinement Types for Pointer Arithmetic and Nested Arrays
by: Fujiwara, Yusuke, et al.
Published: (2026)

Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types
by: Dane, Serra Z., et al.
Published: (2026)

Dependent Type Refinements for Futures
by: Somayyajula, Siva, et al.
Published: (2023)

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

TQL: Towards Type-Driven Data Discovery
by: Kang, Andrew, et al.
Published: (2025)

Enforcing MAVLink Safety & Security Properties Via Refined Multiparty Session Types
by: Amorim, Arthur, et al.
Published: (2025)

A Refined Operational Semantics for FreeCHR
by: Rechenberger, Sascha, et al.
Published: (2025)

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

pyeb: A Python Implementation of Event-B Refinement Calculus
by: Cataño, Néstor
Published: (2025)

Dynamic Program Slices Change How Developers Diagnose Gradual Run-Time Type Errors
by: Schwerter, Felipe Bañados, et al.
Published: (2025)

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

If-T: A Benchmark for Type Narrowing
by: Guo, Hanwen, et al.
Published: (2025)

CCR 2.0: High-level Reasoning for Conditional Refinements
by: Song, Youngju, et al.
Published: (2025)

Language-Driven Engineering An Interdisciplinary Software Development Paradigm
by: Steffen, Bernhard, et al.
Published: (2024)

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

A Complementary Approach to Incorrectness Typing
by: Li, Celia Mengyue, et al.
Published: (2025)

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)

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

Pantograph: A Fluid and Typed Structure Editor
by: Prinz, Jacob, et al.
Published: (2024)

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

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

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

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

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

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)

A Synthetic Reconstruction of Multiparty Session Types (with Appendix)
by: Castro-Perez, David, et al.
Published: (2025)

A Two-Level Linear Dependent Type Theory
by: Fu, Qiancheng, et al.
Published: (2023)

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

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

Navigating the Python Type Jungle
by: Nacu, Andrei, et al.
Published: (2025)

Type-Based Incorrectness Reasoning
by: Zhou, Zhe, et al.
Published: (2025)

Compiling Gradual Types with Evidence
by: Romero, José Luis, et al.
Published: (2025)