Copertina

Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Bhanuka, Ishan, Parreaux, Lionel, Binder, David, Brachthäuser, Jonathan Immanuel
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages Human-Computer Interaction
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

The Long Way to Deforestation (Technical Report): A Type Inference and Elaboration Technique for Removing Intermediate Data Structures
di: Chen, Yijia, et al.
Pubblicazione: (2024)

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

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

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

Toward a Corpus Study of the Dynamic Gradual Type
di: Nsofor, Dibri, et al.
Pubblicazione: (2025)

Simulating Errors in Touchscreen Typing
di: Shi, Danqing, et al.
Pubblicazione: (2025)

Incorporating Different Verbal Cues to Improve Text-Based Computer-Delivered Health Messaging
di: Cox, Samuel Rhys
Pubblicazione: (2024)

Making Hybrid Languages: A Recipe
di: Andersen, Leif, et al.
Pubblicazione: (2024)

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

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

Code Style Sheets: CSS for Code
di: Cohen, Sam, et al.
Pubblicazione: (2025)

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

LLMs Get Lost In Multi-Turn Conversation
di: Laban, Philippe, et al.
Pubblicazione: (2025)

Towards Better Health Conversations: The Benefits of Context-seeking
di: Sayres, Rory, et al.
Pubblicazione: (2025)

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

Using Large Language Models to Enhance Programming Error Messages
di: Leinonen, Juho, et al.
Pubblicazione: (2022)

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

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

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

BLADE: Better Language Answers through Dialogue and Explanations
di: Jayaweera, Chathuri, et al.
Pubblicazione: (2026)

Unknown Word Detection for English as a Second Language (ESL) Learners Using Gaze and Pre-trained Language Models
di: Ding, Jiexin, et al.
Pubblicazione: (2025)

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

Better Slow than Sorry: Introducing Positive Friction for Reliable Dialogue Systems
di: İnan, Mert, et al.
Pubblicazione: (2025)

Personality as Relational Infrastructure: User Perceptions of Personality-Trait-Infused LLM Messaging
di: Hofer, Dominik P., et al.
Pubblicazione: (2026)

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

Prompt Orchestration Markup Language
di: Zhang, Yuge, et al.
Pubblicazione: (2025)

AI Does Not Alter Perceptions of Text Messages
di: Diamond, N'yoma
Pubblicazione: (2024)

User-Centric Design of UI for Mobile Banking Apps: Improving UI and Features for Better Customer Experience
di: Chitrakar, Luniva, et al.
Pubblicazione: (2026)

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

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

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

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

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

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

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

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

Beyond Gaze Overlap: Analyzing Joint Visual Attention Dynamics Using Egocentric Data
di: Thennakoon, Kumushini, et al.
Pubblicazione: (2025)

Shaping Human-AI Collaboration: Varied Scaffolding Levels in Co-writing with Language Models
di: Dhillon, Paramveer S., et al.
Pubblicazione: (2024)