Cover Image

First-Class Refinement Types for Scala

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bovel, Matt, Kunčak, Viktor, Odersky, Martin
Format:	Preprint
Published:	2026
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Formally Verified Linear-Time Invertible Lexing
by: Chassot, Samuel, et al.
Published: (2025)

Verifying a Realistic Mutable Hash Table
by: Chassot, Samuel, et al.
Published: (2021)

Verified invertible lexer using regular expressions and DFAs
by: Chassot, Samuel, et al.
Published: (2024)

Agentic Proof Automation: A Case Study
by: Xu, Yichen, et al.
Published: (2026)

Language-Integrated Recursive Queries (Full Version)
by: Herlihy, Anna, et al.
Published: (2025)

Adaptive Recursive Query Optimization
by: Herlihy, Anna, et al.
Published: (2023)

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

Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study
by: Bucev, Mario, et al.
Published: (2024)

The B2Scala Tool: Integrating Bach in Scala with Security in Mind
by: Ouardi, Doha, et al.
Published: (2024)

Tracking Capabilities for Safer Agents
by: Odersky, Martin, et al.
Published: (2026)

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

LACUNA: Safe Agents as Recursive Program Holes
by: Zhao, Yaoyu, et al.
Published: (2026)

Refinement-Types Driven Development: A study
by: Domínguez, Facundo, et al.
Published: (2025)

On the State of Coherence in the Land of Type Classes
by: Racordon, Dimi, et al.
Published: (2025)

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)

Datalog with First-Class Facts
by: Gilray, Thomas, et al.
Published: (2024)

Comparative analysis of large data processing in Apache Spark using Java, Python and Scala
by: Borodii, Ivan, et al.
Published: (2025)

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)

RLMEval: Evaluating Research-Level Neural Theorem Proving
by: Poiroux, Auguste, et al.
Published: (2025)

TypePilot: Leveraging the Scala Type System for Secure LLM-generated Code
by: Sternfeld, Alexander, et al.
Published: (2025)

Choreographic Quick Changes: First-Class Location (Set) Polymorphism
by: Samuelson, Ashley, et al.
Published: (2025)

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

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

Deriving Dependently-Typed OOP from First Principles -- Extended Version with Additional Appendices
by: Binder, David, et al.
Published: (2024)

Reliable Evaluation and Benchmarks for Statement Autoformalization
by: Poiroux, Auguste, et al.
Published: (2024)

On the Semantic Expressiveness of Iso- and Equi-Recursive Types
by: Devriese, Dominique, et al.
Published: (2020)

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)

IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL (Extended Version)
by: Griffin, Matt, et al.
Published: (2025)

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

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

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

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

SoliDiffy: AST Differencing for Solidity Smart Contracts
by: Eshghie, Mojtaba, et al.
Published: (2024)

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

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

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