Cover Image

Abstraction Functions as Types

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Authors:	Grodin, Harrison, Li, Runming, Harper, Robert
Format:	Recurso digital
Published:	Zenodo 2025
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Abstraction Functions as Types
by: Grodin, Harrison, et al.
Published: (2025)

Amortized Analysis via Coalgebra
by: Grodin, Harrison, et al.
Published: (2024)

Canonicity for Cost-Aware Logical Framework via Synthetic Tait Computability
by: Li, Runming, et al.
Published: (2025)

Mechanizing Synthetic Tait Computability in Istari
by: Li, Runming, et al.
Published: (2025)

Considerations for understanding the neurobiology of pathological alcohol choice preference: Commentary on Perini, Karlsson, McIntyre , Heilig—“Neural correlates of choosing alcohol over palatable food reward in humans”
by: Erica N. Grodin
Published: (2025)

Embracing the complexity of alcohol's immunomodulatory effects: Commentary on Monnig, Lamb, Clark, and Monti—“Acute changes in immune biomarkers under low and moderate dose alcohol in light and heavy drinkers: A randomized, placebo‐controlled trial”
by: Erica N. Grodin, et al.
Published: (2025)

Logical Relations for Session-Typed Concurrency
by: Balzer, Stephanie, et al.
Published: (2023)

Definable Functions to Quotients in Ordered Abelian Groups
by: Wells, Harper
Published: (2026)

Abstractions of Sequences, Functions and Operators
by: Rustenholz, Louis, et al.
Published: (2025)

The future of reward and relief drinking profiles: Considerations for social motives, stability of profiles, and tailored interventions
by: Erica N. Grodin, et al.
Published: (2024)

Aligning Graphical and Functional Causal Abstractions
by: Schooltink, Willem, et al.
Published: (2024)

Repr Types: One Abstraction to Rule Them All
by: Palmkvist, Viktor, et al.
Published: (2024)

Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment
by: Kahn, David M, et al.
Published: (2025)

MTP: A Meaning-Typed Language Abstraction for AI-Integrated Programming
by: Dantanarayana, Jayanaka L., et al.
Published: (2024)

LoCa: Logit Calibration for Knowledge Distillation
by: Yang, Runming, et al.
Published: (2024)

Inflexible Orbitofrontal Cortex Functional Connectivity From Rest to Acute Stress in Alcohol Use Disorder
by: Dylan E. Kirsch, et al.
Published: (2025)

Sex differences in neural response to an acute stressor in individuals with an alcohol use disorder
by: Erica N. Grodin, et al.
Published: (2024)

Examining the moderating role of cannabis use on the relationship between alcohol consumption and inflammation in individuals with alcohol use disorder
by: Erica N. Grodin, et al.
Published: (2024)

Functional Abstraction of Knowledge Recall in Large Language Models
by: Wang, Zijian, et al.
Published: (2025)

An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types
by: Dong, Hao, et al.
Published: (2025)

Web Verbs: Typed Abstractions for Reliable Task Composition on the Agentic Web
by: Jiang, Linxi, et al.
Published: (2026)

On the Identifiability of Causal Abstractions
by: Li, Xiusi, et al.
Published: (2025)

Projection Abstractions in Planning Under the Lenses of Abstractions for MDPs
by: Canonaco, Giuseppe, et al.
Published: (2024)

Functional morphology of trabecular bone in the calcaneus of African apes
by: Christine M. Harper, et al.
Published: (2026)

ProcFunc: Function-Oriented Abstractions for Procedural 3D Generation in Python
by: Raistrick, Alexander, et al.
Published: (2026)

DTMC Model Checking by Path Abstraction Revisited (extended version)
by: Hartmanns, Arnd, et al.
Published: (2025)

Interdecadal Mechanistic Shift of Summer Rapid Flood‐Drought Transition Over the Middle‐Lower Reaches of the Yangtze River: From the East Asia‐Pacific Teleconnection to the Western Pacific Subtropical High
by: Yongli Liu, et al.
Published: (2026)

WaveSFNet: A Wavelet-Based Codec and Spatial--Frequency Dual-Domain Gating Network for Spatiotemporal Prediction
by: Cai, Xinyong, et al.
Published: (2026)

Everything is Context: Agentic File System Abstraction for Context Engineering
by: Xu, Xiwei, et al.
Published: (2025)

Executable Functional Abstractions: Inferring Generative Programs for Advanced Math Problems
by: Khan, Zaid, et al.
Published: (2025)

Exhibiting Abstraction
by: Bartosch, Christina
Published: (2025)

Abstraction in Style
by: Lu, Min, et al.
Published: (2026)

Abstraction Engineering
by: Bencomo, Nelly, et al.
Published: (2024)

Variations in alcohol craving and negative mood during a clinical trial of ibudilast for alcohol use disorder
by: Lindsay R. Meredith, et al.
Published: (2025)

Investigating Intra-Abstraction Policies For Non-exact Abstraction Algorithms
by: Schmöcker, Robin, et al.
Published: (2025)

Structural Abstraction and Refinement for Probabilistic Programs
by: Li, Guanyan, et al.
Published: (2025)

Reorganizing Higher Education Community Service and Service‐Learning Experiences for Liberatory Social Change
by: Jordan Harper
Published: (2025)

Abstractions Based on Circles
Published: (2025)

DigiVax: Protocol-Level Computational Integrity via Invariant Execution and Behavioral Pressure
by: Harper, Mylon
Published: (2026)

The Patsy Paradox: The Logical Fallacy of the Malicious AI
by: Harper, Osei
Published: (2026)