20 citations · 84 across the 17 of their papers we have counts for
4 papers · 1 filter
Dynamic Type Inference for Gradual Hindley--Milner Typing
Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi
Garcia and Cimini study a type inference problem for the ITGL, an implicitly and gradually typed language with let-polymorphism, and develop a sound and complete inference algorith…
Handling polymorphic algebraic effects
Taro Sekiyama, Atsushi Igarashi
Algebraic effects and handlers are a powerful abstraction mechanism to represent and implement control effects. In this work, we study their extension with parametric polymorphism…
Reasoning about Polymorphic Manifest Contracts
Taro Sekiyama, Atsushi Igarashi
Manifest contract calculi, which integrate cast-based dynamic contract checking and refinement type systems, have been studied as foundations for hybrid contract checking. In this…
Contextual Modal Type Theory with Polymorphic Contexts
Yuito Murase, Yuichi Nishiwaki, Atsushi Igarashi
Modal types -- types that are derived from proof systems of modal logic -- have been studied as theoretical foundations of metaprogramming, where program code is manipulated as fir…