This paper presents a polymorphic type system for a language with delimited control
operators, shift and reset. Based on the monomorphic type system by Danvy and Filinski, the …

Meta-level programmability is beneficial for parallel/distributed object-oriented computing to
improve performance, etc. The major problem, however, is interpretation overhead due to …

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 systems …

This paper presents a specializer and a binding-time analyzer for a functional language
where expressions are allowed to be used as both static and dynamic. With both static and …

In “Functional Unparsing” (J. Funct. Program. 8(6):621–625, 1998 ), Danvy presented a type-safe
printf function using continuations and an accumulator to achieve the effect of …

This paper presents how to build a type debugger without implementing any dedicated type
inferencer. Previous type debuggers required their own type inferencers apart from the …

Logical relations, defined inductively on the structure of types, provide a powerful tool to
characterize higher-order functions. They often enable us to prove correctness of a program …

We present a framework of an online partial evaluator for a call-by-value λ-calculus with
destructive updates of data structures. It properly and correctly specializes expressions that …

A core–shell protein cluster comprising hemoglobin and human serum albumins,
hemoglobin–albumin cluster (Hb–HSA 3 ), was designed and synthesized for use as an artificial O 2 …

This paper presents a specializer and a binding-time analyzer for a functional language
where expressions are allowed to be used as both static and dynamic. With both static and …