:: Library Catalog

Зображення обкладинки

Збережено в:

Бібліографічні деталі
Автори:	Sekiyama, Taro, Tsukada, Takeshi, Igarashi, Atsushi
Формат:	Preprint
Опубліковано:	2020
Предмети:	Programming Languages
Онлайн доступ:	https://arxiv.org/abs/2003.08138
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!

Схожі ресурси

Abstracting Effect Systems for Algebraic Effect Handlers
за авторством: Yoshioka, Takuma, та інші
Опубліковано: (2024)

Type-Based Verification of Connectivity Constraints in Lattice Surgery
за авторством: Wakizaka, Ryo, та інші
Опубліковано: (2024)

A Primal-Dual Perspective on Program Verification Algorithms (Extended Version)
за авторством: Tsukada, Takeshi, та інші
Опубліковано: (2025)

Contextual Metaprogramming for Session Types
за авторством: Ângelo, Pedro, та інші
Опубліковано: (2026)

Ownership Refinement Types for Pointer Arithmetic and Nested Arrays
за авторством: Fujiwara, Yusuke, та інші
Опубліковано: (2026)

Linear Contextual Metaprogramming and Session Types
за авторством: Ângelo, Pedro, та інші
Опубліковано: (2024)

An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference (Technical Report)
за авторством: Ren, Silei, та інші
Опубліковано: (2025)

Validated Code Translation for Projects with External Libraries
за авторством: Zhang, Hanliang, та інші
Опубліковано: (2026)

Remarks on Algebraic Reconstruction of Types and Effects
за авторством: Balik, Patrycja, та інші
Опубліковано: (2026)

Polymorphic Coverage Types
за авторством: Zhou, Zhe, та інші
Опубліковано: (2023)

Modular Probabilistic Models via Algebraic Effects
за авторством: Nguyen, Minh, та інші
Опубліковано: (2022)

Deciding not to Decide: Sound and Complete Effect Inference in the Presence of Higher-Rank Polymorphism
за авторством: Balik, Patrycja, та інші
Опубліковано: (2025)

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
за авторством: Suwa, Takashi, та інші
Опубліковано: (2026)

An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
за авторством: Kammar, Ohad, та інші
Опубліковано: (2026)

Toward Verified Library-Level Choreographic Programming with Algebraic Effects
за авторством: Shen, Gan, та інші
Опубліковано: (2024)

Efficient, Portable, Census-Polymorphic Choreographic Programming
за авторством: Bates, Mako, та інші
Опубліковано: (2024)

Example-Based Reasoning about the Realizability of Polymorphic Programs
за авторством: Mulleners, Niek, та інші
Опубліковано: (2024)

Choreographic Quick Changes: First-Class Location (Set) Polymorphism
за авторством: Samuelson, Ashley, та інші
Опубліковано: (2025)

Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination
за авторством: Okudono, Takamasa, та інші
Опубліковано: (2024)

Scoped Effects as Parameterized Algebraic Theories
за авторством: Matache, Cristina, та інші
Опубліковано: (2024)

Polar: An Algebraic Analyzer for (Probabilistic) Loops
за авторством: Moosbrugger, Marcel, та інші
Опубліковано: (2026)

Towards Algebraic Subtyping for Extensible Records
за авторством: Marques, Rodrigo, та інші
Опубліковано: (2024)

Let Functions Speak: Lightweight Parametric Polymorphism via Domain and Range Types
за авторством: He, Siyuan, та інші
Опубліковано: (2026)

From Algebraic Word Problem to Program: A Formalized Approach
за авторством: Wiemerslage, Adam, та інші
Опубліковано: (2020)

FreeCHR: An Algebraic Framework for CHR-Embeddings
за авторством: Rechenberger, Sascha, та інші
Опубліковано: (2023)

Polymorphic Metaprogramming with Memory Management -- An Adjoint Analysis of Metaprogramming
за авторством: Jang, Junyoung, та інші
Опубліковано: (2024)

GeckoGraph: A Visual Language for Polymorphic Types
за авторством: Fu, Shuai, та інші
Опубліковано: (2024)

Polymorphic Records for Dynamic Languages
за авторством: Castagna, Giuseppe, та інші
Опубліковано: (2024)

Deduplicating and Ranking Solution Programs for Suggesting Reference Solutions
за авторством: Shirafuji, Atsushi, та інші
Опубліковано: (2023)

An Incremental Algorithm for Algebraic Program Analysis
за авторством: Zhou, Chenyu, та інші
Опубліковано: (2024)

Let a Thousand Flowers Bloom: An Algebraic Representation for Edge Graphs
за авторством: Liell-Cock, Jack, та інші
Опубліковано: (2024)

MultiChor: Census Polymorphic Choreographic Programming with Multiply Located Values
за авторством: Bates, Mako, та інші
Опубліковано: (2024)

GATlab: Modeling and Programming with Generalized Algebraic Theories
за авторством: Lynch, Owen, та інші
Опубліковано: (2024)

Representing Molecules with Algebraic Data Types: Beyond SMILES and SELFIES
за авторством: Goldstein, Oliver, та інші
Опубліковано: (2025)

Guided Optimization for Image Processing Pipelines
за авторством: Ikarashi, Yuka, та інші
Опубліковано: (2021)

Algebraic Tools for Computing Polynomial Loop Invariants
за авторством: Bayarmagnai, Erdenebayar, та інші
Опубліковано: (2024)

On Representability of Multiple-Valued Functions by Linear Lambda Terms Typed with Second-order Polymorphic Type System
за авторством: Matsuoka, Satoshi
Опубліковано: (2026)

Towards a Linear-Algebraic Hypervisor
за авторством: Considine, Breandan
Опубліковано: (2026)

BinSub: The Simple Essence of Polymorphic Type Inference for Machine Code
за авторством: Smith, Ian
Опубліковано: (2024)

Algebraic and Algorithmic Methods for Computing Polynomial Loop Invariants
за авторством: Bayarmagnai, Erdenebayar, та інші
Опубліковано: (2024)