Keiko Nakata

Available identifiers

Publication	Date of Publication	Type
Resumptions, weak bisimilarity and big-step semantics for While with interactive I/O: an exercise in mixed induction-coinduction	2021-02-24	Paper
A direct version of Veldman's proof of open induction on Cantor space via delimited control operators	2017-03-13	Paper
A dynamic logic with traces and coinduction	2015-12-11	Paper
Compiling cooperative task management to continuations	2015-09-30	Paper
Recursive modules for programming	2015-08-03	Paper
A Hoare logic for the coinductive trace-based big-step semantics of While	2015-02-19	Paper
Contractive signatures with recursive types, type parameters, and abstract types	2013-08-07	Paper
Path resolution for nested recursive modules	2013-01-08	Paper
On streams that are finitely red	2012-10-22	Paper
Classical call-by-need sequent calculi: the unity of semantic artifacts	2012-07-20	Paper
A Hoare logic for the coinductive trace-based big-step semantics of While	2010-05-04	Paper
Small-step and big-step semantics for call-by-need	2009-11-25	Paper
Trace-Based Coinductive Operational Semantics for While	2009-10-20	Paper

This page was built for person: Keiko Nakata