Cover Image

Abstraction Functions as Types

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Grodin, Harrison, Li, Runming, Harper, Robert
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

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

Amortized Analysis via Coalgebra
by: Grodin, Harrison, et al.
Published: (2024)

Canonicity for Cost-Aware Logical Framework via Synthetic Tait Computability
by: Li, Runming, et al.
Published: (2025)

Mechanizing Synthetic Tait Computability in Istari
by: Li, Runming, et al.
Published: (2025)

Logical Relations for Session-Typed Concurrency
by: Balzer, Stephanie, et al.
Published: (2023)

Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment
by: Kahn, David M, et al.
Published: (2025)

Abstractions of Sequences, Functions and Operators
by: Rustenholz, Louis, et al.
Published: (2025)

MTP: A Meaning-Typed Language Abstraction for AI-Integrated Programming
by: Dantanarayana, Jayanaka L., et al.
Published: (2024)

Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory
by: Niu, Yue, et al.
Published: (2024)

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

E-Graphs as a Persistent Compiler Abstraction
by: Merckx, Jules, et al.
Published: (2026)

Contextual MetaML: Syntax and Full Abstraction
by: Yin, Haoxuan, et al.
Published: (2026)

The Continuous Tensor Abstraction: Where Indices are Real
by: Won, Jaeyeon, et al.
Published: (2024)

Modeling Layout Abstractions Using Integer Set Relations
by: Bhaskaracharya, Somashekaracharya G, et al.
Published: (2025)

Repr Types: One Abstraction to Rule Them All
by: Palmkvist, Viktor, et al.
Published: (2024)

Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design
by: DeLorenzo, Matthew, et al.
Published: (2025)

Collective Allocator Abstraction to Control Object Spatial Locality in C++
by: Hideshima, Takato, et al.
Published: (2024)

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

WAMI: Compilation to WebAssembly through MLIR without Losing Abstraction
by: Kang, Byeongjee, et al.
Published: (2025)

Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring
by: Finkbeiner, Bernd, et al.
Published: (2026)

Typed Embedding of miniKanren for Functional Conversion
by: Engel, Igor, et al.
Published: (2025)

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
by: Warren, David S., et al.
Published: (2024)

Linear-Time T-Gate Optimization via Random Abstraction
by: Albarghouthi, Aws
Published: (2026)

Catamorphic Abstractions for Constrained Horn Clause Satisfiability
by: De Angelis, Emanuele, et al.
Published: (2024)

Let Functions Speak: Lightweight Parametric Polymorphism via Domain and Range Types
by: He, Siyuan, et al.
Published: (2026)

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

Synthesizing Document Database Queries using Collection Abstractions
by: Liu, Qikang, et al.
Published: (2024)

DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
by: Böhler, Timon, et al.
Published: (2026)

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

Unitary Expressions: A Necessary Abstraction for Extensible Quantum Programming Languages and Systems
by: Younis, Ed
Published: (2025)

ReGAL: Refactoring Programs to Discover Generalizable Abstractions
by: Stengel-Eskin, Elias, et al.
Published: (2024)

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

A Word Sampler for Well-Typed Functions
by: Considine, Breandan
Published: (2025)

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

Modal Abstractions for Virtualizing Memory Addresses
by: Kuru, Ismail, et al.
Published: (2023)

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

Streaming Tensor Programs: A Streaming Abstraction for Dynamic Parallelism
by: Sohn, Gina, et al.
Published: (2025)

Relax: Composable Abstractions for End-to-End Dynamic Machine Learning
by: Lai, Ruihang, et al.
Published: (2023)

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

Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
by: Rocha, Filipe Marinho, et al.
Published: (2024)