Cover Image

Let Functions Speak: Lightweight Parametric Polymorphism via Domain and Range Types

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	He, Siyuan, Jia, Songlin, Rompf, Tiark
Format:	Preprint
Published:	2026
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking
by: He, Siyuan, et al.
Published: (2025)

Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
by: Jia, Songlin, et al.
Published: (2024)

Free to Move: Reachability Types with Flow-Sensitive Effects for Safe Deallocation and Ownership Transfer
by: Deng, Haotian, et al.
Published: (2025)

Complete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version)
by: Deng, Haotian, et al.
Published: (2025)

Typestate via Revocable Capabilities
by: Jia, Songlin, et al.
Published: (2025)

Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness
by: Bao, Yuyan, et al.
Published: (2025)

Modeling Reachability Types with Logical Relations
by: Bao, Yuyan, et al.
Published: (2023)

Polymorphic Coverage Types
by: Zhou, Zhe, et al.
Published: (2023)

On Representability of Multiple-Valued Functions by Linear Lambda Terms Typed with Second-order Polymorphic Type System
by: Matsuoka, Satoshi
Published: (2026)

Speak Now: Safe Actor Programming with Multiparty Session Types (Extended Version)
by: Fowler, Simon, et al.
Published: (2026)

GeckoGraph: A Visual Language for Polymorphic Types
by: Fu, Shuai, et al.
Published: (2024)

Adaptive Shielding via Parametric Safety Proofs
by: Feng, Yao, et al.
Published: (2025)

Signature Restriction for Polymorphic Algebraic Effects
by: Sekiyama, Taro, et al.
Published: (2020)

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

Efficient, Portable, Census-Polymorphic Choreographic Programming
by: Bates, Mako, et al.
Published: (2024)

Example-Based Reasoning about the Realizability of Polymorphic Programs
by: Mulleners, Niek, et al.
Published: (2024)

Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
by: Lybech, Stian, et al.
Published: (2025)

Choreographic Quick Changes: First-Class Location (Set) Polymorphism
by: Samuelson, Ashley, et al.
Published: (2025)

Typed Embedding of miniKanren for Functional Conversion
by: Engel, Igor, et al.
Published: (2025)

Let a Thousand Flowers Bloom: An Algebraic Representation for Edge Graphs
by: Liell-Cock, Jack, et al.
Published: (2024)

BinSub: The Simple Essence of Polymorphic Type Inference for Machine Code
by: Smith, Ian
Published: (2024)

Lightweight Yet Secure: Secure Scripting Language Generation via Lightweight LLMs
by: Zhang, Keyang, et al.
Published: (2026)

Deciding not to Decide: Sound and Complete Effect Inference in the Presence of Higher-Rank Polymorphism
by: Balik, Patrycja, et al.
Published: (2025)

Parametricity via Cohesion
by: Aberlé, C. B.
Published: (2024)

Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory (Extended Version)
by: Giovannini, Eric, et al.
Published: (2024)

Language-Parametric Reference Synthesis (Extended)
by: Pelsmaeker, Daniel A. A., et al.
Published: (2025)

TokDrift: When LLM Speaks in Subwords but Code Speaks in Grammar
by: Li, Yinxi, et al.
Published: (2025)

Let's Take Esoteric Programming Languages Seriously
by: Singer, Jeremy, et al.
Published: (2025)

Incremental Bidirectional Typing via Order Maintenance
by: Porter, Thomas J., et al.
Published: (2025)

DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
by: Böhler, Timon, et al.
Published: (2026)

Substructural Parametricity
by: Aberlé, C. B., et al.
Published: (2025)

Polymorphic Metaprogramming with Memory Management -- An Adjoint Analysis of Metaprogramming
by: Jang, Junyoung, et al.
Published: (2024)

An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference (Technical Report)
by: Ren, Silei, et al.
Published: (2025)

Lumos: Let there be Language Model System Certification
by: Chaudhary, Isha, et al.
Published: (2025)

Polymorphic Records for Dynamic Languages
by: Castagna, Giuseppe, et al.
Published: (2024)

A Word Sampler for Well-Typed Functions
by: Considine, Breandan
Published: (2025)

TypeDis: A Type System for Disentanglement
by: Moine, Alexandre, et al.
Published: (2025)

Range Algebra for Safe Array Splits
by: Perisic, Aleksandar
Published: (2014)

Quantum Simulation Programming via Typing
by: Li, Liyi, et al.
Published: (2025)

Local Type Inference for Context-Free Session Types
by: Almeida, Bernardo, et al.
Published: (2025)