7 citations · 15 across the 5 of their papers we have counts for
5 papers
Type System for Four Delimited Control Operators
Chiaki Ishio, Kenichi Asai
The operational behavior of control operators has been studied comprehensively in the past few decades, but type systems of control operators have not. There are distinct type syst…
A Functional Abstraction of Typed Invocation Contexts
Youyou Cong, Chiaki Ishio, Kaho Honda +1
In their paper "A Functional Abstraction of Typed Contexts", Danvy and Filinski show how to derive a monomorphic type system of the shift and reset operators from a CPS semantics.…
Stepping OCaml
Tsukino Furukawa, Youyou Cong, Kenichi Asai
Steppers, which display all the reduction steps of a given program, are a novice-friendly tool for understanding program behavior. Unfortunately, steppers are not as popular as the…
Proceedings ML Family Workshop / OCaml Users and Developers workshops
Kenichi Asai, Mark Shinwell
This volume contains the joint post-proceedings of the 2016 edition of the ML Family Workshop and OCaml Users and Developers Workshop, held in Nara, Japan, in affiliation with ICFP…
Report on a User Test and Extension of a Type Debugger for Novice Programmers
Yuki Ishii, Kenichi Asai
A type debugger interactively detects the expressions that cause type errors. It asks users whether they intend the types of identifiers to be those that the compiler inferred. How…