Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Cuéllar, Santiago, Spargo, Naomi, Daugherty, Jonathan, Darais, David
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

The CoCompiler: DSL Lifting via Relational Compilation
by: Spargo, Naomi, et al.
Published: (2025)

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

From Traces to Program Incorrectness: A Type-Theoretic Approach
by: Yuan, Yongwei, et al.
Published: (2025)

Lazy Linearity for a Core Functional Language
by: Mesquita, Rodrigo, et al.
Published: (2025)

Lexicographic Ranking Supermartingales with Lazy Lower Bounds
by: Takisaka, Toru, et al.
Published: (2023)

KATch: A Fast Symbolic Verifier for NetKAT
by: Moeller, Mark, et al.
Published: (2024)

typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
by: Kudasov, Nikolai, et al.
Published: (2024)

Lazy Evaluation: A Comparative Analysis of SAS MACROs and R Functions
by: Ling, Chen, et al.
Published: (2026)

A Lazy, Concurrent Convertibility Checker
by: Courant, Nathanaëlle, et al.
Published: (2025)

Program Synthesis from Partial Traces
by: Ferreira, Margarida, et al.
Published: (2025)

A Pure Demand Operational Semantics with Applications to Program Analysis
by: Smith, Scott, et al.
Published: (2023)

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

LLMigrate: Transforming "Lazy" Large Language Models into Efficient Source Code Migrators
by: Liu, Yuchen, et al.
Published: (2025)

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

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

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

Dependent Session Types for Verified Concurrent Programming
by: Fu, Qiancheng, et al.
Published: (2025)

Mason: Type- and Name-Guided Program Synthesis
by: Geer, Jasper, et al.
Published: (2026)

Special Delivery: Programming with Mailbox Types (Extended Version)
by: Fowler, Simon, et al.
Published: (2023)

The Design Principles of the Elixir Type System
by: Castagna, Giuseppe, et al.
Published: (2023)

Rel: A Programming Language for Relational Data
by: Aref, Molham, et al.
Published: (2025)

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

Validating Traces of Distributed Programs Against TLA+ Specifications
by: Cirstea, Horatiu, et al.
Published: (2024)

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

Reduction for Structured Concurrent Programs
by: Gangamreddypalli, Namratha, et al.
Published: (2026)

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

Proceedings of the 2024 miniKanren and Relational Programming Workshop
by: Verbitskaia, Ekaterina, et al.
Published: (2024)

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

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

Correctness is Demanding, Performance is Frustrating
by: Sinkarovs, Artjoms, et al.
Published: (2024)

Relational Programming with Foundation Models
by: Li, Ziyang, et al.
Published: (2024)

MappedTrace: Tracing Pointer Remotely with Compiler-generated Maps
by: Ma, Zhiyao, et al.
Published: (2025)

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

Speak Now: Safe Actor Programming with Multiparty Session Types (Extended Version)
by: Fowler, Simon, et al.
Published: (2026)

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

Evaluating Program Semantics Reasoning with Type Inference in System F
by: He, Yifeng, et al.
Published: (2025)

KestRel: Relational Verification Using E-Graphs for Program Alignment
by: Dickerson, Robert, et al.
Published: (2024)

Probing the Design Space: Parallel Versions for Exploratory Programming
by: Beckmann, Tom, et al.
Published: (2025)

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

Beyond Cons: Purely Relational Data Structures
by: Sanna, Rafaello, et al.
Published: (2025)