Buchumschlag

Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Cuéllar, Santiago, Spargo, Naomi, Daugherty, Jonathan, Darais, David
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The CoCompiler: DSL Lifting via Relational Compilation
von: Spargo, Naomi, et al.
Veröffentlicht: (2025)

Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs
von: Xia, Li-yao, et al.
Veröffentlicht: (2024)

From Traces to Program Incorrectness: A Type-Theoretic Approach
von: Yuan, Yongwei, et al.
Veröffentlicht: (2025)

Lazy Linearity for a Core Functional Language
von: Mesquita, Rodrigo, et al.
Veröffentlicht: (2025)

Lexicographic Ranking Supermartingales with Lazy Lower Bounds
von: Takisaka, Toru, et al.
Veröffentlicht: (2023)

KATch: A Fast Symbolic Verifier for NetKAT
von: Moeller, Mark, et al.
Veröffentlicht: (2024)

typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
von: Kudasov, Nikolai, et al.
Veröffentlicht: (2024)

Lazy Evaluation: A Comparative Analysis of SAS MACROs and R Functions
von: Ling, Chen, et al.
Veröffentlicht: (2026)

A Lazy, Concurrent Convertibility Checker
von: Courant, Nathanaëlle, et al.
Veröffentlicht: (2025)

Program Synthesis from Partial Traces
von: Ferreira, Margarida, et al.
Veröffentlicht: (2025)

A Pure Demand Operational Semantics with Applications to Program Analysis
von: Smith, Scott, et al.
Veröffentlicht: (2023)

Synchronous Programming with Refinement Types
von: Chen, Jiawei, et al.
Veröffentlicht: (2024)

LLMigrate: Transforming "Lazy" Large Language Models into Efficient Source Code Migrators
von: Liu, Yuchen, et al.
Veröffentlicht: (2025)

Logical Relations for Session-Typed Concurrency
von: Balzer, Stephanie, et al.
Veröffentlicht: (2023)

Modeling Reachability Types with Logical Relations
von: Bao, Yuyan, et al.
Veröffentlicht: (2023)

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

Dependent Session Types for Verified Concurrent Programming
von: Fu, Qiancheng, et al.
Veröffentlicht: (2025)

Mason: Type- and Name-Guided Program Synthesis
von: Geer, Jasper, et al.
Veröffentlicht: (2026)

Special Delivery: Programming with Mailbox Types (Extended Version)
von: Fowler, Simon, et al.
Veröffentlicht: (2023)

The Design Principles of the Elixir Type System
von: Castagna, Giuseppe, et al.
Veröffentlicht: (2023)

Rel: A Programming Language for Relational Data
von: Aref, Molham, et al.
Veröffentlicht: (2025)

A Relational Solver for Constraint-based Type Inference
von: Domoratskiy, Eridan, et al.
Veröffentlicht: (2024)

Validating Traces of Distributed Programs Against TLA+ Specifications
von: Cirstea, Horatiu, et al.
Veröffentlicht: (2024)

Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints
von: Paul, Abhijit
Veröffentlicht: (2025)

Reduction for Structured Concurrent Programs
von: Gangamreddypalli, Namratha, et al.
Veröffentlicht: (2026)

Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types
von: Dane, Serra Z., et al.
Veröffentlicht: (2026)

Proceedings of the 2024 miniKanren and Relational Programming Workshop
von: Verbitskaia, Ekaterina, et al.
Veröffentlicht: (2024)

Quantum Simulation Programming via Typing
von: Li, Liyi, et al.
Veröffentlicht: (2025)

Pantograph: A Fluid and Typed Structure Editor
von: Prinz, Jacob, et al.
Veröffentlicht: (2024)

Correctness is Demanding, Performance is Frustrating
von: Sinkarovs, Artjoms, et al.
Veröffentlicht: (2024)

Relational Programming with Foundation Models
von: Li, Ziyang, et al.
Veröffentlicht: (2024)

MappedTrace: Tracing Pointer Remotely with Compiler-generated Maps
von: Ma, Zhiyao, et al.
Veröffentlicht: (2025)

Logic Programming with Extensible Types
von: Perez, Ivan, et al.
Veröffentlicht: (2026)

Speak Now: Safe Actor Programming with Multiparty Session Types (Extended Version)
von: Fowler, Simon, et al.
Veröffentlicht: (2026)

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

Evaluating Program Semantics Reasoning with Type Inference in System F
von: He, Yifeng, et al.
Veröffentlicht: (2025)

KestRel: Relational Verification Using E-Graphs for Program Alignment
von: Dickerson, Robert, et al.
Veröffentlicht: (2024)

Probing the Design Space: Parallel Versions for Exploratory Programming
von: Beckmann, Tom, et al.
Veröffentlicht: (2025)

The Program Hypergraph: Multi-Way Relational Structure for Geometric Algebra, Spatial Compute, and Physics-Aware Compilation
von: Haynes, Houston
Veröffentlicht: (2026)

Beyond Cons: Purely Relational Data Structures
von: Sanna, Rafaello, et al.
Veröffentlicht: (2025)