Cover Image

The Long Way to Deforestation (Technical Report): A Type Inference and Elaboration Technique for Removing Intermediate Data Structures

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chen, Yijia, Parreaux, Lionel
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Multiparty Session Typing, Embedded (Technical Report)
by: Jongmans, Sung-Shik
Published: (2025)

NEST: Network Enforced Session Types (Technical Report)
by: Larsen, Jens Kanstrup, et al.
Published: (2026)

An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference (Technical Report)
by: Ren, Silei, et al.
Published: (2025)

Meaning Typed Prompting: A Technique for Efficient, Reliable Structured Output Generation
by: Irugalbandara, Chandra
Published: (2024)

MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age
by: Leißa, Roland, et al.
Published: (2024)

Verified Parameterized Choreographies Technical Report
by: Rubbens, Robert, et al.
Published: (2025)

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

Encoding Petri Nets into CCS (Technical Report)
by: Bogø, Benjamin, et al.
Published: (2024)

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

Iso-Recursive Multiparty Sessions and their Automated Verification -- Technical Report
by: Giunti, Marco, et al.
Published: (2025)

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

Practical Refinement Session Type Inference (Extended Version)
by: Ueno, Toby, et al.
Published: (2026)

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

Typed Non-determinism in Concurrent Calculi: The Eager Way
by: Heuvel, Bas van den, et al.
Published: (2024)

Practical Type-Based Taint Checking and Inference (Extended Version)
by: Karimipour, Nima, et al.
Published: (2025)

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

Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage (Technical Report)
by: Jonáš, Martin, et al.
Published: (2024)

Discourje: Run-Time Verification of Communication Protocols in Clojure -- Live at Last (Technical Report)
by: Jongmans, Sung-Shik
Published: (2024)

Secure Synthesis of Distributed Cryptographic Applications (Technical Report)
by: Acay, Coşku, et al.
Published: (2024)

A Language for Smart Contracts with Secure Control Flow (Technical Report)
by: Yao, Siqiu, et al.
Published: (2024)

Publish on Ping: A Better Way to Publish Reservations in Memory Reclamation for Concurrent Data Structures
by: Singh, Ajay, et al.
Published: (2025)

Useful Evaluation: Syntax and Semantics (Technical Report)
by: Barenbaum, Pablo, et al.
Published: (2024)

Kotlin ML Pack: Technical Report
by: Titov, Sergey, et al.
Published: (2024)

Macro-embedding Compiler Intermediate Languages in Racket
by: Bowman, William J.
Published: (2025)

TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing
by: Lin, Teyu, et al.
Published: (2026)

Unveiling the Power of Intermediate Representations for Static Analysis: A Survey
by: Zhang, Bowen, et al.
Published: (2024)

Technical Report: Full-Stack Fine-Tuning for the Q Programming Language
by: Hogan, Brendan R., et al.
Published: (2025)

Dataflow-Based Optimization for Quantum Intermediate Representation Programs
by: Luo, Junjie, et al.
Published: (2024)

A Type System for Data Privacy Compliance in Active Object Languages
by: Baramashetru, Chinmayi Prabhu, et al.
Published: (2025)

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

HUGR: A Quantum-Classical Intermediate Representation
by: Koch, Mark, et al.
Published: (2025)

Failure Transparency in Stateful Dataflow Systems (Technical Report)
by: Veresov, Aleksey, et al.
Published: (2024)

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

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

TQL: Towards Type-Driven Data Discovery
by: Kang, Andrew, et al.
Published: (2025)

Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces
by: Cuéllar, Santiago, et al.
Published: (2025)

SUQL: Conversational Search over Structured and Unstructured Data with Large Language Models
by: Liu, Shicheng, et al.
Published: (2023)

An Array Intermediate Language for Mixed Cryptography
by: Ding, Vivian, et al.
Published: (2024)

Six Ways to Implement Divisibility by Three in miniKanren
by: Schreiber, Brett, et al.
Published: (2024)