Imagen de Portada

Clean for Haskell Programmers

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Lubbers, Mart, Achten, Peter
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Haskell meets Evariste
por: Pereira, Paulo R., et al.
Publicado: (2026)

Freer Arrows and Why You Need Them in Haskell
por: VanDomelen, Grant, et al.
Publicado: (2025)

Pure Borrow: Linear Haskell Meets Rust-Style Borrowing
por: Matsushita, Yusuke, et al.
Publicado: (2026)

Goanna: Resolving Haskell Type Errors With Minimal Correction Subsets
por: Fu, Shuai, et al.
Publicado: (2024)

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

Understanding Haskell-style Overloading via Open Data and Open Functions
por: Marmaduke, Andrew, et al.
Publicado: (2025)

HasTEE+ : Confidential Cloud Computing and Analytics with Haskell
por: Sarkar, Abhiroop, et al.
Publicado: (2024)

Describing Console I/O Behavior for Testing Student Submissions in Haskell
por: Westphal, Oliver, et al.
Publicado: (2020)

Effect Handlers for Programmable Inference
por: Nguyen, Minh, et al.
Publicado: (2023)

Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline
por: Hu, Lifan
Publicado: (2025)

Programmable Property-Based Testing
por: Keles, Alperen, et al.
Publicado: (2026)

From Code to Career: Assessing Competitive Programmers for Industry Placement
por: Akib, Md Imranur Rahman, et al.
Publicado: (2025)

Broadening the View of Live Programmers: Integrating a Cross-Cutting Perspective on Run-Time Behavior into a Live Programming Environment
por: Rein, Patrick, et al.
Publicado: (2024)

Probabilistic Programming with Programmable Variational Inference
por: Becker, McCoy R., et al.
Publicado: (2024)

Building A Proof-Oriented Programmer That Is 64% Better Than GPT-4o Under Data Scarcity
por: Zhang, Dylan, et al.
Publicado: (2025)

Minimalistic Terminal Editor for Julia Programming -- MinTEJ: A Friendly Approach for a Scientific Programmer
por: Bhattar, Poornachandratejasvi Laxman, et al.
Publicado: (2026)

ChopChop: a Programmable Framework for Semantically Constraining the Output of Language Models
por: Nagy, Shaan, et al.
Publicado: (2025)

Enhancing Paraphrase Type Generation: The Impact of DPO and RLHF Evaluated with Human-Ranked Data
por: Lübbers, Christopher Lee
Publicado: (2025)

CompilerGPT: Leveraging Large Language Models for Analyzing and Acting on Compiler Optimization Reports
por: Pirkelbauer, Peter, et al.
Publicado: (2025)

Verification Algorithms for Automated Separation Logic Verifiers
por: Eilers, Marco, et al.
Publicado: (2024)

Law and Order for Typestate with Borrowing
por: Saffrich, Hannes, et al.
Publicado: (2024)

Hyper Separation Logic (extended version)
por: Gospodinov, Trayan, et al.
Publicado: (2026)

Partial Orders for Precise and Efficient Dynamic Deadlock Prediction
por: Heuvel, Bas van den, et al.
Publicado: (2025)

Sound State Encodings in Translational Separation Logic Verifiers (Extended Version)
por: Ling, Hongyi, et al.
Publicado: (2026)

Investigating the Performance of Language Models for Completing Code in Functional Programming Languages: a Haskell Case Study
por: van Dam, Tim, et al.
Publicado: (2024)

Automated Profile-Guided Replacement of Data Structures to Reduce Memory Allocation
por: Makor, Lukas, et al.
Publicado: (2025)

Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language (extended version)
por: Parthasarathy, Gaurav, et al.
Publicado: (2024)

Formal Foundations for Translational Separation Logic Verifiers (extended version)
por: Dardinier, Thibault, et al.
Publicado: (2024)

Planning for the Internationalization of a Postgraduate Professional Degree Programme in Library and Information Science.
por: Gregory, Vicki L., et al.
Publicado: (2002)

NaN-Propagation: A Novel Method for Sparsity Detection in Black-Box Computational Functions
por: Sharpe, Peter
Publicado: (2025)

A Calculus for Unreachable Code
por: Zhong, Peter, et al.
Publicado: (2024)

Cost Analysis for Import and Export Using an Abstract Machine
por: Bennetzen, Benjamin, et al.
Publicado: (2024)

Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees
por: Grannan, Zachary, et al.
Publicado: (2025)

An Outline of a Programme-Library Designed to Accompany an Introductory Course in Phonetics
por: Smith, Adelbert G.
Publicado: (1973)

Shared Cataloguing. Part I. The National Programme for Acquisitions and Cataloguing in the United States of America
por: Liebaers, Herman
Publicado: (1970)

Creating Pleasant Programming Environments for Cognitive Science Students. Technical Report No. 16. [and] Domain Specific Debugging Aids for Novice Programmers. Technical Report No. 17.
por: Eisenstadt, Marc, et al.
Publicado: (1981)

LLMs versus the Halting Problem: Characterizing Program Termination Reasoning
por: Sultan, Oren, et al.
Publicado: (2026)

Data-driven Verification of Procedural Programs with Integer Arrays
por: Bouajjani, Ahmed, et al.
Publicado: (2025)

Tywaves: A Typed Waveform Viewer for Chisel
por: Meloni, Raffaele, et al.
Publicado: (2024)

Getting a Handle on Unmanaged Memory
por: Wanninger, Nick, et al.
Publicado: (2024)