:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Porter, Thomas J., Kirisame, Marisa, Wei, Ivan, Panchekha, Pavel, Omar, Cyrus
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2504.08946
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Incremental Live Programming via Shortcut Memoization
by: Kirisame, Marisa, et al.
Published: (2026)

Spineless Traversal for Layout Invalidation
by: Kirisame, Marisa, et al.
Published: (2024)

Accurate Residues for Floating-Point Debugging
by: He, Yumeng, et al.
Published: (2026)

Syntactic Completions with Material Obligations
by: Moon, David, et al.
Published: (2025)

Numerical Superoptimization for Library Learning
by: Regehr, Jonas, et al.
Published: (2026)

Semantics for 2D Rasterization
by: Kulkarni, Bhargav, et al.
Published: (2026)

Target-Aware Implementation of Real Expressions
by: Saiki, Brett, et al.
Published: (2024)

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

Statically Contextualizing Large Language Models with Typed Holes
by: Blinn, Andrew, et al.
Published: (2024)

Practical Algebraic Stepping with Scoped Filters
by: Fei, Haoxiang, et al.
Published: (2026)

Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
by: Zhong, Zhiyao, et al.
Published: (2025)

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

FlowLog: Efficient and Extensible Datalog via Incrementality
by: Zhao, Hangdong, et al.
Published: (2025)

Incremental Computation: What Is the Essence?
by: Liu, Yanhong A.
Published: (2023)

Incremental units-of-measure verification
by: Danish, Matthew, et al.
Published: (2024)

Towards Quantum Multiparty Session Types
by: Lanese, Ivan, et al.
Published: (2024)

Easing Maintenance of Academic Static Analyzers
by: Monat, Raphaël, et al.
Published: (2024)

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

Logic Programming with Extensible Types
by: Perez, Ivan, et al.
Published: (2026)

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

Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs
by: Xu, Han, et al.
Published: (2026)

Higher-Order Behavioural Conformances via Fibrations
by: Urbat, Henning
Published: (2025)

Incremental Proof Development in Dafny with Module-Based Induction
by: Ho, Son, et al.
Published: (2024)

Operon: Incremental Construction of Ragged Data via Named Dimensions
by: Moon, Sungbin, et al.
Published: (2025)

An Incremental Algorithm for Algebraic Program Analysis
by: Zhou, Chenyu, et al.
Published: (2024)

Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
by: Nicola, Mihai, et al.
Published: (2024)

Modeling Reachability Types with Logical Relations
by: Bao, Yuyan, et al.
Published: (2023)

Highly Incremental: A Simple Programmatic Approach for Many Objectives (Extended Version)
by: Schröer, Philipp, et al.
Published: (2026)

Incremental Processing in the Age of Non-Incremental Encoders: An Empirical Assessment of Bidirectional Models for Incremental NLU
by: Madureira, Brielen, et al.
Published: (2020)

Staged Specification Logic for Verifying Higher-Order Imperative Programs (Technical Report)
by: Foo, Darius, et al.
Published: (2023)

Incremental Randomized Smoothing Certification
by: Ugare, Shubham, et al.
Published: (2023)

Type Universes as Allocation Effects
by: Koronkevich, Paulette, et al.
Published: (2024)

Typing Requirement Model as Coroutines
by: Gu, Qiqi, et al.
Published: (2024)

AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
by: Erata, Ferhat, et al.
Published: (2024)

Session Types for the Transport Layer: Towards an Implementation of TCP
by: Cavoj, Samuel, et al.
Published: (2024)

Dependent-Type-Preserving Memory Allocation
by: Koronkevich, Paulette, et al.
Published: (2025)

Quantum Simulation Programming via Typing
by: Li, Liyi, et al.
Published: (2025)

Type-level Property Based Testing
by: Hansen, Thomas Ekström, et al.
Published: (2024)

A Note on Dynamic Bidirected Dyck-Reachability with Cycles
by: Zhang, Qirun
Published: (2024)

Incremental Context-free Grammar Inference in Black Box Settings
by: Li, Feifei, et al.
Published: (2024)