Cover Image

GeckoGraph: A Visual Language for Polymorphic Types

Fuente: arXiv

Saved in:

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

Similar Items

Goanna: Resolving Haskell Type Errors With Minimal Correction Subsets
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)

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

VeriLLMed: Interactive Visual Debugging of Medical Large Language Models with Knowledge Graphs
by: Xiang, Yurui, et al.
Published: (2026)

GraphTrials: Visual Proofs of Graph Properties
by: Förster, Henry, 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)

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

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

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

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

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

Guiding Generative Storytelling with Knowledge Graphs
by: Pan, Zhijun, et al.
Published: (2025)

Finite-State Automaton To/From Regular Expression Visualization
by: Morazán, Marco T., et al.
Published: (2024)

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

VisEval: A Benchmark for Data Visualization in the Era of Large Language Models
by: Chen, Nan, et al.
Published: (2024)

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

Augmenting a Large Language Model with a Combination of Text and Visual Data for Conversational Visualization of Global Geospatial Data
by: Mena, Omar, et al.
Published: (2025)

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

Visual Network Analysis in Immersive Environments: A Survey
by: Joos, Lucas, et al.
Published: (2025)

Visual Execution and Validation of Finite-State Machines and Pushdown Automata
by: Morazán, Marco T., et al.
Published: (2025)

IMBUE: Improving Interpersonal Effectiveness through Simulation and Just-in-time Feedback with Human-Language Model Interaction
by: Lin, Inna Wanyin, et al.
Published: (2024)

Rule-Based Moral Principles for Explaining Uncertainty in Natural Language Generation
by: Atf, Zahra, et al.
Published: (2025)

WatChat: Explaining perplexing programs by debugging mental models
by: Chandra, Kartik, 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)

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

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

TaleFrame: An Interactive Story Generation System with Fine-Grained Control and Large Language Models
by: Wang, Yunchao, et al.
Published: (2025)

Capturing Visualization Design Rationale
by: Hutchinson, Maeve, et al.
Published: (2025)

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

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

RAGExplorer: A Visual Analytics System for the Comparative Diagnosis of RAG Systems
by: Tian, Haoyu, et al.
Published: (2026)