The following pages link to Kenichi Asai (Q232931):
Displaying 10 items.
- On typing delimited continuations: Three new solutions to the printf problem (Q968365) (← links)
- Functional un\(|\)unparsing (Q1929354) (← links)
- MikiBeta : A General GUI Library for Visualizing Proof Trees (Q3003488) (← links)
- Polymorphic Delimited Continuations (Q3498441) (← links)
- (Q4445771) (← links)
- A Functional Abstraction of Typed Invocation Contexts (Q5043596) (← links)
- Verifying Selective CPS Transformation for Shift and Reset (Q5098734) (← links)
- Binding-time analysis for both static and dynamic expressions (Q5957057) (← links)
- (Q6159927) (← links)
- Derivation of a Virtual Machine For Four Variants of Delimited-Control Operators. (Q6159932) (← links)
