3 citations · 4 across the 5 of their papers we have counts for
5 papers · 1 filter
Gradual Typing for Extensibility by Rows
Taro Sekiyama, Atsushi Igarashi
This work studies gradual typing for row types and row polymorphism. Key ingredients in this work are the dynamic row type, which represents a statically unknown part of a row, and…
Manifest Contracts with Intersection Types
Yuki Nishida, Atsushi Igarashi
We present a manifest contract system PCFvH with intersection types. A manifest contract system is a typed functional calculus in which software contracts are integrated into a…
Space-Efficient Gradual Typing in Coercion-Passing Style
Yuya Tsuda, Atsushi Igarashi, Tomoya Tabuchi
Herman et al. pointed out that the insertion of run-time checks into a gradually typed program could hamper tail-call optimization and, as a result, worsen the space complexity of…
A Dependently Typed Multi-Stage Calculus
Akira Kawata, Atsushi Igarashi
We study a dependently typed extension of a multi-stage programming language à la MetaOCaml, which supports quasi-quotation and cross-stage persistence for manipulation of code fra…
A Type System for First-Class Layers with Inheritance, Subtyping, and Swapping
Hiroaki Inoue, Atsushi Igarashi
Context-Oriented Programming (COP) is a programming paradigm to encourage modularization of context-dependent software. Key features of COP are layers---modules to describe context…