Eijiro Sumii

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
Formal verifications of call-by-need and call-by-name evaluations with mutual recursion	2024-04-19	Paper
Formal verification of the correspondence between call-by-need and call-by-name	2018-07-09	Paper
A bisimulation for type abstraction and recursion Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2017-07-14	Paper
A higher-order distributed calculus with name creation 2012 27th Annual IEEE Symposium on Logic in Computer Science	2017-05-16	Paper
A sound and complete bisimulation for contextual equivalence in \(\lambda\)-calculus with call/cc Programming Languages and Systems	2016-12-21	Paper
From applicative to environmental bisimulation Electronic Notes in Theoretical Computer Science	2016-07-15	Paper
A bisimulation for dynamic sealing Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-11-11	Paper
Sound bisimulations for higher-order distributed process calculus Foundations of Software Science and Computational Structures	2011-05-19	Paper
A bisimulation-like proof method for contextual properties in untyped \(\lambda \)-calculus with references and deallocation Theoretical Computer Science	2011-01-07	Paper
A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References Computer Science Logic	2009-11-12	Paper
A Theory of Non-monotone Memory (Or: Contexts for free) Programming Languages and Systems	2009-03-31	Paper
A bisimulation for type abstraction and recursion Journal of the ACM	2008-12-21	Paper
Logical Bisimulations and Functional Languages Lecture Notes in Computer Science	2008-07-01	Paper
A bisimulation for dynamic sealing Theoretical Computer Science	2007-05-11	Paper
scientific article; zbMATH DE number 2242581 (Why is no real title available?)	2006-01-02	Paper
scientific article; zbMATH DE number 2040979 (Why is no real title available?)	2004-02-11	Paper
scientific article; zbMATH DE number 1962745 (Why is no real title available?)	2003-08-11	Paper
scientific article; zbMATH DE number 1942466 (Why is no real title available?)	2003-06-30	Paper
scientific article; zbMATH DE number 1759631 (Why is no real title available?)	2002-06-25	Paper
A hybrid approach to online and offline partial evaluation Higher-Order and Symbolic Computation	2002-03-14	Paper
scientific article; zbMATH DE number 1231692 (Why is no real title available?)	1999-01-10	Paper

Research outcomes over time

This page was built for person: Eijiro Sumii