paper
referenced-only
2000
paper:m-frantk-a-declarative-gui-system-for-hask-2000Frantk: A declarative gui system for haskell
ByM. Sage
Related work— refs + corpus + external arXiv
Cited / in-corpus / arXiv badges show which signals surfaced each row. Multi-source rows weighted higher.
- Genuinely Functional User Interfacesin corpus≈ 75%
- Opening the Hood of a Word Processorin corpus1984≈ 70%
- An Encoding of Abstract Dialectical Frameworks into Higher-Order LogicAlexander Steen Antoine Martina2026≈ 69%
- An Automated Survey of Generative Artificial Intelligence: Large Language Models, Architectures, Protocols, and Applications\'Alvaro L\'opez L\'opez Eduardo C. Garrido-Merch\'an2026≈ 69%
- From Legacy Fortran to Portable Kokkos: An Autonomous Agentic AI WorkflowSparsh Gupta and Kamalavasan Kamalakkannan and Maxim Moraru and Galen Shipman and Patrick Diehl2025≈ 69%
- A Pattern Language for Machine Learning TasksIan Fan, Tuomas Laakkonen, Neil John Ortega, Thomas Hoffmann, Vincent Wang-Mascianica Benjamin Rodatz2025≈ 68%
- Finite Automata Extraction: Low-data World Model Learning as Programs from Gameplay VideoMatthew Guzdial, Anurag Sarkar Dave Goel2025≈ 68%
- ≈ 67%
- Knowledge Graphs, the Missing Link in Agentic AI-based Formal VerificationKeerthan Kopparam Radhakrishna, Deepak Narayan Gadde, Aman Kumar Vaisakh Naduvodi Viswambharan2026≈ 67%
- Dagstuhl Perspectives Workshop 24352 -- Conversational Agents: A Framework for Evaluation (CAFE): ManifestoLi Chen, Nicola Ferro, Norbert Fuhr, Avishek Anand, Timo Breuer, Guglielmo Faggioli, Ophir Frieder, Hideo Joho, Jussi Karlgren, Johannes Kiesel, Bart P. Knijnenburg, Aldo Lipani, Lien Michiels, Andrea Papenmeier, Maria Soledad Pera, Mark Sanderson, Scott Sanner, Benno Stein, Johanne R. Trippas, Karin Verspoor, Martijn C Willemsen Christine Bauer2025≈ 67%
- ReusStdFlow: A Standardized Reusability Framework for Dynamic Workflow Construction in Agentic AIShanghong Zou, Yafang Wang, He Zhang, Ruohua Xu and Feng Zhao Gaoyang Zhang2026≈ 67%
- Identifying the Achilles' Heel: An Iterative Method for Dynamically Uncovering Factual Errors in Large Language ModelsYuk-Kit Chan, Zixuan Ling, Juluan Shi, Youliang Yuan, Jen-tse Huang, Yifei Zhang, Wenxiang Jiao, Zhaopeng Tu, Michael R. Lyu Wenxuan Wang2026≈ 67%
- ≈ 66%
- ≈ 66%
- Steps Towards an Infrastructure for Scholarly SynthesisMatthew Akamatsu, David Vargas, Lukas Kawerau, Michael Gartner Joel Chan2024≈ 66%
- ≈ 66%
- A geometric relation of the error introduced by sampling a language model's output distribution to its internal stateAlbert F. Modenbach2026≈ 66%
- ≈ 66%
- Garden of Applicationsin corpus1998≈ 65%
- ≈ 65%
- ≈ 65%
- ≈ 65%
- Technical Dimensions of Programming Systemsin corpus2023≈ 65%
- ≈ 64%
- Interpreting Language Model Parametersin corpus2026≈ 63%
- ≈ 63%
- Linda in contextin corpus1989≈ 63%
- Alignment faking in large language modelsin corpus2024≈ 63%
- ≈ 63%
Similar preprints — Semantic Scholar
Cited by (1)
- Genuinely Functional User Interfaces
Fruit, a Functional Reactive User Interface Toolkit for Haskell, demonstrates that a formal denotational model is sufficient to define GUIs compositionally as signal transformers of type `GUI a b = ST