Image de couverture de livre

Towards Algebraic Subtyping for Extensible Records

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Marques, Rodrigo, Florido, Mário, Vasconcelos, Pedro
Format:	Preprint
Publié:	2024
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus
par: Vasconcelos, Pedro, et autres
Publié: (2024)

Flexible and Reversible Conversion between Extensible Records and Overloading Constraints for ML
par: Spanò, Alvise
Publié: (2024)

Abstracting Extensible Recursive Functions
par: Hubers, Alex, et autres
Publié: (2024)

Extensibility in Programming Languages: An overview
par: Nicolajsen, Sebastian mateos
Publié: (2025)

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping
par: Bravetti, Mario, et autres
Publié: (2025)

Forklift: An Extensible Neural Lifter
par: Armengol-Estapé, Jordi, et autres
Publié: (2024)

Fast and Extensible Hybrid Embeddings with Micros
par: Bocirnea, Sean, et autres
Publié: (2025)

Fair Asynchronous Session Subtyping
par: Bravetti, Mario, et autres
Publié: (2021)

Semantic Subtyping for Maps in Erlang
par: Yildirim, Erdem, et autres
Publié: (2025)

Logic Programming with Extensible Types
par: Perez, Ivan, et autres
Publié: (2026)

Toward Verified Library-Level Choreographic Programming with Algebraic Effects
par: Shen, Gan, et autres
Publié: (2024)

FlowLog: Efficient and Extensible Datalog via Incrementality
par: Zhao, Hangdong, et autres
Publié: (2025)

MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age
par: Leißa, Roland, et autres
Publié: (2024)

Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses
par: Udomsrirungruang, Thien, et autres
Publié: (2024)

PreciseBugCollector: Extensible, Executable and Precise Bug-fix Collection
par: Ye, He, et autres
Publié: (2023)

Contextual Metaprogramming for Session Types
par: Ângelo, Pedro, et autres
Publié: (2026)

Towards a Linear-Algebraic Hypervisor
par: Considine, Breandan
Publié: (2026)

Unitary Expressions: A Necessary Abstraction for Extensible Quantum Programming Languages and Systems
par: Younis, Ed
Publié: (2025)

Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses (full version)
par: Udomsrirungruang, Thien, et autres
Publié: (2024)

YASPS: A Symbolic Framework for Extensible, High-Performance IPC Simulation
par: Tang, Xuan, et autres
Publié: (2026)

Polar: An Algebraic Analyzer for (Probabilistic) Loops
par: Moosbrugger, Marcel, et autres
Publié: (2026)

Remarks on Algebraic Reconstruction of Types and Effects
par: Balik, Patrycja, et autres
Publié: (2026)

Signature Restriction for Polymorphic Algebraic Effects
par: Sekiyama, Taro, et autres
Publié: (2020)

An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
par: Kammar, Ohad, et autres
Publié: (2026)

Modular Probabilistic Models via Algebraic Effects
par: Nguyen, Minh, et autres
Publié: (2022)

FreeCHR: An Algebraic Framework for CHR-Embeddings
par: Rechenberger, Sascha, et autres
Publié: (2023)

From Algebraic Word Problem to Program: A Formalized Approach
par: Wiemerslage, Adam, et autres
Publié: (2020)

Linear Contextual Metaprogramming and Session Types
par: Ângelo, Pedro, et autres
Publié: (2024)

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
par: Tempel, Sören, et autres
Publié: (2024)

Teaching Introductory Functional Programming Using Haskelite
par: Vasconcelos, Pedro
Publié: (2025)

Let a Thousand Flowers Bloom: An Algebraic Representation for Edge Graphs
par: Liell-Cock, Jack, et autres
Publié: (2024)

An Incremental Algorithm for Algebraic Program Analysis
par: Zhou, Chenyu, et autres
Publié: (2024)

Local Type Inference for Context-Free Session Types
par: Almeida, Bernardo, et autres
Publié: (2025)

Representing Molecules with Algebraic Data Types: Beyond SMILES and SELFIES
par: Goldstein, Oliver, et autres
Publié: (2025)

Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
par: Baek, Doehyun, et autres
Publié: (2024)

GATlab: Modeling and Programming with Generalized Algebraic Theories
par: Lynch, Owen, et autres
Publié: (2024)

An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference (Technical Report)
par: Ren, Silei, et autres
Publié: (2025)

Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language
par: Abounegm, Abdelrahman, et autres
Publié: (2024)

Algebraic Tools for Computing Polynomial Loop Invariants
par: Bayarmagnai, Erdenebayar, et autres
Publié: (2024)

Behavioural Types for Heterogeneous Systems (Position Paper)
par: Fowler, Simon, et autres
Publié: (2024)