:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Sekiyama, Taro, Tsukada, Takeshi, Igarashi, Atsushi
Format:	Preprint
Published:	2020
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2003.08138
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Abstracting Effect Systems for Algebraic Effect Handlers
by: Yoshioka, Takuma, et al.
Published: (2024)

Type-Based Verification of Connectivity Constraints in Lattice Surgery
by: Wakizaka, Ryo, et al.
Published: (2024)

A Primal-Dual Perspective on Program Verification Algorithms (Extended Version)
by: Tsukada, Takeshi, et al.
Published: (2025)

Contextual Metaprogramming for Session Types
by: Ângelo, Pedro, et al.
Published: (2026)

Ownership Refinement Types for Pointer Arithmetic and Nested Arrays
by: Fujiwara, Yusuke, et al.
Published: (2026)

Linear Contextual Metaprogramming and Session Types
by: Ângelo, Pedro, et al.
Published: (2024)

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

Validated Code Translation for Projects with External Libraries
by: Zhang, Hanliang, et al.
Published: (2026)

Remarks on Algebraic Reconstruction of Types and Effects
by: Balik, Patrycja, et al.
Published: (2026)

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

Modular Probabilistic Models via Algebraic Effects
by: Nguyen, Minh, et al.
Published: (2022)

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

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
by: Suwa, Takashi, et al.
Published: (2026)

An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
by: Kammar, Ohad, et al.
Published: (2026)

Toward Verified Library-Level Choreographic Programming with Algebraic Effects
by: Shen, Gan, et al.
Published: (2024)

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)

Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination
by: Okudono, Takamasa, et al.
Published: (2024)

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

Scoped Effects as Parameterized Algebraic Theories
by: Matache, Cristina, et al.
Published: (2024)

Polar: An Algebraic Analyzer for (Probabilistic) Loops
by: Moosbrugger, Marcel, et al.
Published: (2026)

Towards Algebraic Subtyping for Extensible Records
by: Marques, Rodrigo, et al.
Published: (2024)

Let Functions Speak: Lightweight Parametric Polymorphism via Domain and Range Types
by: He, Siyuan, et al.
Published: (2026)

From Algebraic Word Problem to Program: A Formalized Approach
by: Wiemerslage, Adam, et al.
Published: (2020)

FreeCHR: An Algebraic Framework for CHR-Embeddings
by: Rechenberger, Sascha, et al.
Published: (2023)

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

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

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

Deduplicating and Ranking Solution Programs for Suggesting Reference Solutions
by: Shirafuji, Atsushi, et al.
Published: (2023)

An Incremental Algorithm for Algebraic Program Analysis
by: Zhou, Chenyu, et al.
Published: (2024)

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

MultiChor: Census Polymorphic Choreographic Programming with Multiply Located Values
by: Bates, Mako, et al.
Published: (2024)

GATlab: Modeling and Programming with Generalized Algebraic Theories
by: Lynch, Owen, et al.
Published: (2024)

Representing Molecules with Algebraic Data Types: Beyond SMILES and SELFIES
by: Goldstein, Oliver, et al.
Published: (2025)

Guided Optimization for Image Processing Pipelines
by: Ikarashi, Yuka, et al.
Published: (2021)

Algebraic Tools for Computing Polynomial Loop Invariants
by: Bayarmagnai, Erdenebayar, et al.
Published: (2024)

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

Towards a Linear-Algebraic Hypervisor
by: Considine, Breandan
Published: (2026)

Algebraic and Algorithmic Methods for Computing Polynomial Loop Invariants
by: Bayarmagnai, Erdenebayar, et al.
Published: (2024)

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