Keiko Nakata

MaRDI QIDQ1929335zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Lecture Notes in Computer Science	2015-12-11	Paper
Compiling cooperative task management to continuations Fundamentals of Software Engineering	2015-09-30	Paper
Recursive modules for programming Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming	2015-08-03	Paper
A Hoare logic for the coinductive trace-based big-step semantics of While Logical Methods in Computer Science	2015-02-19	Paper
Contractive signatures with recursive types, type parameters, and abstract types Automata, Languages, and Programming	2013-08-07	Paper
Path resolution for nested recursive modules Higher-Order and Symbolic Computation	2013-01-08	Paper
On streams that are finitely red Logical Methods in Computer Science	2012-10-22	Paper
Classical call-by-need sequent calculi: the unity of semantic artifacts Functional and Logic Programming	2012-07-20	Paper
A Hoare logic for the coinductive trace-based big-step semantics of While Programming Languages and Systems	2010-05-04	Paper
Small-step and big-step semantics for call-by-need Journal of Functional Programming	2009-11-25	Paper
Trace-Based Coinductive Operational Semantics for While Lecture Notes in Computer Science	2009-10-20	Paper

Research outcomes over time

This page was built for person: Keiko Nakata