Cover Image

Goanna: Resolving Haskell Type Errors With Minimal Correction Subsets

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Fu, Shuai, Dwyer, Tim, Stuckey, Peter J., Grundy, John
Format:	Preprint
Published:	2024
Subjects:	Human-Computer Interaction Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

GeckoGraph: A Visual Language for Polymorphic Types
by: Fu, Shuai, et al.
Published: (2024)

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

Making Hybrid Languages: A Recipe
by: Andersen, Leif, et al.
Published: (2024)

Validating AI-Generated Code with Live Programming
by: Ferdowsi, Kasra, et al.
Published: (2023)

Tracers for debugging and program exploration
by: Chiplunkar, Shardul, et al.
Published: (2026)

Code Style Sheets: CSS for Code
by: Cohen, Sam, et al.
Published: (2025)

FlowBook: Enforcing Reproducibility in Computational Notebooks
by: Freund, Stephen N., et al.
Published: (2026)

Guided Optimization for Image Processing Pipelines
by: Ikarashi, Yuka, et al.
Published: (2021)

ReDemon UI: Reactive Synthesis by Demonstration for Web UI
by: Lee, Jay, et al.
Published: (2025)

A Design Recipe and Recipe-Based Errors for Regular Expressions
by: Morazán, Marco T., et al.
Published: (2025)

A Directed Graph Model and Experimental Framework for Design and Study of Time-Dependent Text Visualisation
by: Fan, Songhai, et al.
Published: (2026)

Bluefish: Composing Diagrams with Declarative Relations
by: Pollock, Josh, et al.
Published: (2023)

Successfully Guiding Humans with Imperfect Instructions by Highlighting Potential Errors and Suggesting Corrections
by: Zhao, Lingjun, et al.
Published: (2024)

Aptly: Making Mobile Apps from Natural Language
by: Patton, Evan W., et al.
Published: (2024)

Prompt Decorators: A Declarative and Composable Syntax for Reasoning, Formatting, and Control in LLMs
by: Heris, Mostapha Kalami
Published: (2025)

Prompt Orchestration Markup Language
by: Zhang, Yuge, et al.
Published: (2025)

ChatScratch: An AI-Augmented System Toward Autonomous Visual Programming Learning for Children Aged 6-12
by: Chen, Liuqing, et al.
Published: (2024)

WatChat: Explaining perplexing programs by debugging mental models
by: Chandra, Kartik, et al.
Published: (2024)

ProgramAlly: Creating Custom Visual Access Programs via Multi-Modal End-User Programming
by: Herskovitz, Jaylin, et al.
Published: (2024)

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

Statistics 101, 201, and 202: Three Shiny Apps for Teaching Probability Distributions, Inferential Statistics, and Simple Linear Regression
by: Soetewey, Antoine
Published: (2026)

From State Changes to Creative Decisions: Documenting and Interpreting Traces Across Creative Domains
by: Peng, Xiaohan, et al.
Published: (2026)

HiLDe: Intentional Code Generation via Human-in-the-Loop Decoding
by: González, Emmanuel Anaya, et al.
Published: (2025)

Reactive Semantics for User Interface Description Languages
by: Pesin, Basile, et al.
Published: (2025)

When Are Reactive Notebooks Not Reactive?
by: Zheng, Megan, et al.
Published: (2025)

Revealing and Mitigating the Challenge of Detecting Character Knowledge Errors in LLM Role-Playing
by: Zhang, Wenyuan, et al.
Published: (2024)

An Expert Schema for Evaluating Large Language Model Errors in Scholarly Question-Answering Systems
by: Martin-Boyle, Anna, et al.
Published: (2026)

Flowco: Rethinking Data Analysis in the Age of LLMs
by: Freund, Stephen N., et al.
Published: (2025)

Deceptive Patterns of Intelligent and Interactive Writing Assistants
by: Benharrak, Karim, et al.
Published: (2024)

Do LLMs Make Mistakes Like Students? Exploring Natural Alignment between Language Models and Human Error Patterns
by: Liu, Naiming, et al.
Published: (2025)

GPT-5 Model Corrected GPT-4V's Chart Reading Errors, Not Prompting
by: Yang, Kaichun, et al.
Published: (2025)

Simulating Errors in Touchscreen Typing
by: Shi, Danqing, et al.
Published: (2025)

Educational Question Generation of Children Storybooks via Question Type Distribution Learning and Event-Centric Summarization
by: Zhao, Zhenjie, et al.
Published: (2022)

A Computational Framework for Behavioral Assessment of LLM Therapists
by: Chiu, Yu Ying, et al.
Published: (2024)

Repairs in a Block World: A New Benchmark for Handling User Corrections with Multi-Modal Language Models
by: Chiyah-Garcia, Javier, et al.
Published: (2024)

Facilitating Self-Guided Mental Health Interventions Through Human-Language Model Interaction: A Case Study of Cognitive Restructuring
by: Sharma, Ashish, et al.
Published: (2023)

QRtree -- Decision Tree dialect specification of QRscript
by: Scanzio, Stefano, et al.
Published: (2024)

QRscript specification
by: Scanzio, Stefano, et al.
Published: (2024)

Empowering Children to Create AI-Enabled Augmented Reality Experiences
by: Zhang, Lei, et al.
Published: (2025)

From Uncertainty to Innovation: Wearable Prototyping with ProtoBot
by: Yıldırım, İhsan Ozan, et al.
Published: (2024)