Image de couverture de livre

Freer Arrows and Why You Need Them in Haskell

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	VanDomelen, Grant, Shen, Gan, Kuper, Lindsey, Li, Yao
Format:	Preprint
Publié:	2025
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Toward Verified Library-Level Choreographic Programming with Algebraic Effects
par: Shen, Gan, et autres
Publié: (2024)

Efficient, Portable, Census-Polymorphic Choreographic Programming
par: Bates, Mako, et autres
Publié: (2024)

Inductive diagrams for causal reasoning
par: Castello, Jonathan, et autres
Publié: (2023)

Clean for Haskell Programmers
par: Lubbers, Mart, et autres
Publié: (2024)

Haskell meets Evariste
par: Pereira, Paulo R., et autres
Publié: (2026)

CRDT Emulation, Simulation, and Representation Independence
par: Liittschwager, Nathan, et autres
Publié: (2025)

Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern
par: Redmond, Patrick, et autres
Publié: (2025)

Pure Borrow: Linear Haskell Meets Rust-Style Borrowing
par: Matsushita, Yusuke, et autres
Publié: (2026)

Understanding Haskell-style Overloading via Open Data and Open Functions
par: Marmaduke, Andrew, et autres
Publié: (2025)

typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
par: Kudasov, Nikolai, et autres
Publié: (2024)

HasTEE+ : Confidential Cloud Computing and Analytics with Haskell
par: Sarkar, Abhiroop, et autres
Publié: (2024)

Describing Console I/O Behavior for Testing Student Submissions in Haskell
par: Westphal, Oliver, et autres
Publié: (2020)

Goanna: Resolving Haskell Type Errors With Minimal Correction Subsets
par: Fu, Shuai, et autres
Publié: (2024)

Programming Backpropagation with Reverse Handlers for Arrows
par: Sanada, Takahiro, et autres
Publié: (2026)

Semantic Logical Relations for Timed Message-Passing Protocols (Extended Version)
par: Yao, Yue, et autres
Publié: (2024)

The Incredible Shrinking Context... in a Decompiler Near You
par: Lagouvardos, Sifis, et autres
Publié: (2024)

Researching Skills: They Need Them When They Need Them.
par: Burgess, Barbara J.
Publié: (1987)

Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers
par: Peng, Xuanyu, et autres
Publié: (2025)

We've Got You Covered: Type-Guided Repair of Incomplete Input Generators
par: LaFontaine, Patrick, et autres
Publié: (2025)

Do You Even Lift? Strengthening Compiler Security Guarantees Against Spectre Attacks
par: Fabian, Xaver, et autres
Publié: (2024)

Toys--Who Needs Them?
par: Piazza, Raymond L.
Publié: (1976)

You Can Run But You Can't Hide: Runtime Protection Against Malicious Package Updates For Node.js
par: Ohm, Marc, et autres
Publié: (2023)

SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation
par: Nezhad, Sina Bagheri, et autres
Publié: (2025)

Explorable Theorems: Making Written Theorems Explorable by Grounding Them in Formal Representations
par: Kambhamettu, Hita, et autres
Publié: (2026)

Repr Types: One Abstraction to Rule Them All
par: Palmkvist, Viktor, et autres
Publié: (2024)

Mechanizing Synthetic Tait Computability in Istari
par: Li, Runming, et autres
Publié: (2025)

Executing as You Generate: Hiding Execution Latency in LLM Code Generation
par: Sun, Zhensu, et autres
Publié: (2026)

Productive Quantum Programming Needs Better Abstract Machines
par: Núñez-Corrales, Santiago, et autres
Publié: (2025)

Latent Idiom Recognition for a Minimalist Functional Array Language using Equality Saturation
par: Van der Cruysse, Jonathan, et autres
Publié: (2023)

If You Can't Use Them, Recycle Them: Optimizing Merging at Scale Mitigates Performance Tradeoffs
par: Khalifa, Muhammad, et autres
Publié: (2024)

A Language-Agnostic Logical Relation for Message-Passing Protocols
par: Zhang, Tesla, et autres
Publié: (2025)

African Literacies: Which of Them Matter, and Why?
par: Parry, Kate
Publié: (2010)

Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs
par: Xia, Li-yao, et autres
Publié: (2024)

Mechanizing a Proof-Relevant Logical Relation for Timed Message-Passing Protocols
par: Zhang, Tesla, et autres
Publié: (2025)

Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice
par: Daggitt, Matthew L., et autres
Publié: (2026)

Phoenix: A Modular and Versatile Framework for C/C++ Pointer Analysis
par: Yao, Peisen, et autres
Publié: (2026)

Improving compiler support for SIMD offload using Arm Streaming SVE
par: Mohamed, Mohamed Husain Noor, et autres
Publié: (2025)

Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms (Extended Version)
par: Yan, Pengbo, et autres
Publié: (2024)

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants
par: Bayazıt, Barış, et autres
Publié: (2025)

A Simple and Efficient Implementation of Strong Call by Need by an Abstract Machine
par: Biernacka, Małgorzata, et autres
Publié: (2026)