:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	VanDomelen, Grant, Shen, Gan, Kuper, Lindsey, Li, Yao
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages
Online-Zugang:	https://arxiv.org/abs/2506.12212
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Toward Verified Library-Level Choreographic Programming with Algebraic Effects
von: Shen, Gan, et al.
Veröffentlicht: (2024)

Efficient, Portable, Census-Polymorphic Choreographic Programming
von: Bates, Mako, et al.
Veröffentlicht: (2024)

Inductive diagrams for causal reasoning
von: Castello, Jonathan, et al.
Veröffentlicht: (2023)

Clean for Haskell Programmers
von: Lubbers, Mart, et al.
Veröffentlicht: (2024)

Haskell meets Evariste
von: Pereira, Paulo R., et al.
Veröffentlicht: (2026)

CRDT Emulation, Simulation, and Representation Independence
von: Liittschwager, Nathan, et al.
Veröffentlicht: (2025)

Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern
von: Redmond, Patrick, et al.
Veröffentlicht: (2025)

Pure Borrow: Linear Haskell Meets Rust-Style Borrowing
von: Matsushita, Yusuke, et al.
Veröffentlicht: (2026)

HasTEE+ : Confidential Cloud Computing and Analytics with Haskell
von: Sarkar, Abhiroop, et al.
Veröffentlicht: (2024)

Understanding Haskell-style Overloading via Open Data and Open Functions
von: Marmaduke, Andrew, et al.
Veröffentlicht: (2025)

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

Goanna: Resolving Haskell Type Errors With Minimal Correction Subsets
von: Fu, Shuai, et al.
Veröffentlicht: (2024)

Describing Console I/O Behavior for Testing Student Submissions in Haskell
von: Westphal, Oliver, et al.
Veröffentlicht: (2020)

Programming Backpropagation with Reverse Handlers for Arrows
von: Sanada, Takahiro, et al.
Veröffentlicht: (2026)

Researching Skills: They Need Them When They Need Them.
von: Burgess, Barbara J.
Veröffentlicht: (1987)

Semantic Logical Relations for Timed Message-Passing Protocols (Extended Version)
von: Yao, Yue, et al.
Veröffentlicht: (2024)

The Incredible Shrinking Context... in a Decompiler Near You
von: Lagouvardos, Sifis, et al.
Veröffentlicht: (2024)

Toys--Who Needs Them?
von: Piazza, Raymond L.
Veröffentlicht: (1976)

Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers
von: Peng, Xuanyu, et al.
Veröffentlicht: (2025)

Repr Types: One Abstraction to Rule Them All
von: Palmkvist, Viktor, et al.
Veröffentlicht: (2024)

Explorable Theorems: Making Written Theorems Explorable by Grounding Them in Formal Representations
von: Kambhamettu, Hita, et al.
Veröffentlicht: (2026)

You Can Run But You Can't Hide: Runtime Protection Against Malicious Package Updates For Node.js
von: Ohm, Marc, et al.
Veröffentlicht: (2023)

We've Got You Covered: Type-Guided Repair of Incomplete Input Generators
von: LaFontaine, Patrick, et al.
Veröffentlicht: (2025)

Do You Even Lift? Strengthening Compiler Security Guarantees Against Spectre Attacks
von: Fabian, Xaver, et al.
Veröffentlicht: (2024)

African Literacies: Which of Them Matter, and Why?
von: Parry, Kate
Veröffentlicht: (2010)

If You Can't Use Them, Recycle Them: Optimizing Merging at Scale Mitigates Performance Tradeoffs
von: Khalifa, Muhammad, et al.
Veröffentlicht: (2024)

SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation
von: Nezhad, Sina Bagheri, et al.
Veröffentlicht: (2025)

Executing as You Generate: Hiding Execution Latency in LLM Code Generation
von: Sun, Zhensu, et al.
Veröffentlicht: (2026)

Productive Quantum Programming Needs Better Abstract Machines
von: Núñez-Corrales, Santiago, et al.
Veröffentlicht: (2025)

Mechanizing Synthetic Tait Computability in Istari
von: Li, Runming, et al.
Veröffentlicht: (2025)

Similarity is Not All You Need: Endowing Retrieval Augmented Generation with Multi Layered Thoughts
von: Gan, Chunjing, et al.
Veröffentlicht: (2024)

Latent Idiom Recognition for a Minimalist Functional Array Language using Equality Saturation
von: Van der Cruysse, Jonathan, et al.
Veröffentlicht: (2023)

State-Funded Informational Databases: You May Lose Them Even if You Use Them!
von: Bell, Mary Ann
Veröffentlicht: (2005)

A Language-Agnostic Logical Relation for Message-Passing Protocols
von: Zhang, Tesla, et al.
Veröffentlicht: (2025)

Conversations: Love Them, Hate Them, Steer Them
von: Chebrolu, Niranjan, et al.
Veröffentlicht: (2025)

A Simple and Efficient Implementation of Strong Call by Need by an Abstract Machine
von: Biernacka, Małgorzata, et al.
Veröffentlicht: (2026)

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)

Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice
von: Daggitt, Matthew L., et al.
Veröffentlicht: (2026)

Mechanizing a Proof-Relevant Logical Relation for Timed Message-Passing Protocols
von: Zhang, Tesla, et al.
Veröffentlicht: (2025)

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants
von: Bayazıt, Barış, et al.
Veröffentlicht: (2025)