paper
referenced-only
1997
paper:castagna-unifying-overloading-and-abstractions-1997Unifying overloading and λ-abstractions: λ[{}]
ByG. Castagna
Related work— refs + corpus + external arXiv
Cited / in-corpus / arXiv badges show which signals surfaced each row. Multi-source rows weighted higher.
- An Encoding of Abstract Dialectical Frameworks into Higher-Order LogicAlexander Steen Antoine Martina2026≈ 74%
- ≈ 71%
- Denotational Design: from meanings to programsin corpus2015≈ 71%
- ≈ 71%
- ≈ 70%
- A Pattern Language for Machine Learning TasksIan Fan, Tuomas Laakkonen, Neil John Ortega, Thomas Hoffmann, Vincent Wang-Mascianica Benjamin Rodatz2025≈ 70%
- Decomposing Generalization: Models of Generic, Habitual, and Episodic StatementsBenjamin Van Durme, Aaron Steven White Venkata Subrahmanyan Govindarajan2026≈ 69%
- Asking without Telling: Exploring Latent Ontologies in Contextual RepresentationsJan A. Botha, Ian Tenney Julian Michael2020≈ 69%
- Beyond Language: Format-Agnostic Reasoning Subspaces in Large Language ModelsZhiyuan Su Aojie Yuan2026≈ 67%
- Mechanistic Understanding of Language Models in Syntactic Code CompletionDaking Rai, Ziyu Yao Samuel Miller2025≈ 67%
- Embedding Ontologies via Incorporating Extensional and Intensional KnowledgeGuilin Qi, Jiaoyan Chen, Yi Huang, Tianxing Wu Keyu Wang2026≈ 67%
- Social Meaning in Large Language Models: Structure, Magnitude, and Pragmatic PromptingRoland M\"uhlenbernd2026≈ 67%
- Position: Mechanistic Interpretability Must Disclose Identification Assumptions for Causal ClaimsFengming Liu Zezheng Lin2026≈ 67%
- ≈ 67%
- The Nonverbal Syntax Framework: An Evidence-Based Tiered System for Inferring Learner States from Observable Behavioral CuesMary John, Jaloliddin Rustamov, Zahiriddin Rustamov, Saja Aldabet, Nazar Zaki, Khaled Shuaib Sherzod Turaev2026≈ 67%
- ≈ 66%
- A geometric relation of the error introduced by sampling a language model's output distribution to its internal stateAlbert F. Modenbach2026≈ 66%
- Survey in Characterizing Semantic ChangeMarcos Da Silveira, C\'edric Pruski Jader Martins Camboim de S\'a2026≈ 66%
- ≈ 65%
- Linda in contextin corpus1989≈ 64%
- Finding Alignments Between Interpretable Causal Variables and Distributed Neural Representationsin corpus2023≈ 64%
- ≈ 64%
- Finger Exercises in Formal Concept Analysisin corpus2006≈ 64%
- The Non-Linear Representation Dilemma: Is Causal Abstraction Enough for Mechanistic Interpretability?in corpus2025≈ 63%
- ≈ 63%
- An association-based model of dynamic behaviourin corpus2011≈ 63%
- ≈ 63%
- Technical Dimensions of Programming Systemsin corpus2023≈ 63%
Similar preprints — Semantic Scholar
Cited by (1)
- An association-based model of dynamic behaviour
N-way associative lookup — a single primitive operation m[k₁,...,kₙ] = v with corresponding read and write operators — suffices to derive flat physical memory, dictionaries, delegation-based prototype