paper
referenced-only
paper:anon-denotational-design-with-type-class-morpDenotational design with type class morphisms
Related work— refs + corpus + external arXiv
Cited / in-corpus / arXiv badges show which signals surfaced each row. Multi-source rows weighted higher.
- ≈ 79%
- Denotational Design: from meanings to programsin corpus2015≈ 76%
- ≈ 69%
- A Pattern Language for Machine Learning TasksIan Fan, Tuomas Laakkonen, Neil John Ortega, Thomas Hoffmann, Vincent Wang-Mascianica Benjamin Rodatz2025≈ 68%
- Decomposing Generalization: Models of Generic, Habitual, and Episodic StatementsBenjamin Van Durme, Aaron Steven White Venkata Subrahmanyan Govindarajan2026≈ 68%
- Closing the Loop on Morphogenesis: A Mathematical Model of Morphogenesis by Closed-Loop Reaction-DiffusionMichael Levin Joel Grodstein2022≈ 67%
- CLIPDraw: Exploring Text-to-Drawing Synthesis through Language-Image EncodersL.B. Soros, Olaf Witkowski Kevin Frans2021≈ 67%
- ≈ 67%
- ≈ 67%
- Design, Cups, and Blankets. A Free-Energy-Principle-Based Approach to Product DesignLuca M. Possati2026≈ 67%
- Patterns for a New Generation: AI and AgentsCharles J. Danoff, Raymond S. Puzio, Sridevi Ayloo, Sergio Belich, Andre Wilkinson, Mary Tedeschi, Pauline Mosley Joseph Corneli2026≈ 67%
- Contextual Morphogenesis in Large Language Models: A Novel Approach to Self-Organizing Token RepresentationsBeatrix Engelhardt, Dimitri Fairbrother, Henry Evidail Alistair Dombrowski2025≈ 67%
- ≈ 67%
- On the Implicit and on the Artificial - Morphogenesis and Emergent Aesthetics in Autonomous Collective SystemsVitorino Ramos2007≈ 66%
- Bridging Compositional and Distributional Semantics: A Survey on Latent Semantic Geometry via AutoEncoderDanilo S. Carvalho, Andr\'e Freitas Yingji Zhang2026≈ 66%
- ≈ 66%
- ≈ 66%
- An association-based model of dynamic behaviourin corpus2011≈ 65%
- Interpreting Language Model Parametersin corpus2026≈ 64%
- Mechanistic Knobs in LLMs: Retrieving and Steering High-Order Semantic Features via Sparse Autoencodersin corpus2026≈ 64%
- ≈ 63%
- ≈ 62%
- ≈ 62%
- ≈ 62%
- ≈ 61%
- ≈ 61%
- ≈ 61%
- ≈ 61%
- Towards a theory of conceptual design for softwarein corpus2015≈ 61%
- A Mathematical Framework for Transformer Circuitsin corpus2021≈ 61%
Similar preprints — Semantic Scholar
Cited by (1)
- Denotational Design: from meanings to programs
Denotational Design, presented by Conal Elliott at LambdaJam 2015, establishes that correct, leak-free implementations of typed functional abstractions can be derived mechanically by defining a semant