Eijiro Sumii

Available identifiers

zbMath Open sumii.eijiroMaRDI QIDQ238499

List of research outcomes

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	2017-07-14	Paper
A Higher-Order Distributed Calculus with Name Creation	2017-05-16	Paper
A Sound and Complete Bisimulation for Contextual Equivalence in $$\lambda $$ -Calculus with Call/cc	2016-12-21	Paper
From Applicative to Environmental Bisimulation	2016-07-15	Paper
A bisimulation for dynamic sealing	2015-11-11	Paper
Sound Bisimulations for Higher-Order Distributed Process Calculus	2011-05-19	Paper
A bisimulation-like proof method for contextual properties in untyped \(\lambda \)-calculus with references and deallocation	2011-01-07	Paper
A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References	2009-11-12	Paper
A Theory of Non-monotone Memory (Or: Contexts for free)	2009-03-31	Paper
A bisimulation for type abstraction and recursion	2008-12-21	Paper
Logical Bisimulations and Functional Languages	2008-07-01	Paper
A bisimulation for dynamic sealing	2007-05-11	Paper
https://portal.mardi4nfdi.de/entity/Q5714434	2006-01-02	Paper
https://portal.mardi4nfdi.de/entity/Q4452128	2004-02-11	Paper
https://portal.mardi4nfdi.de/entity/Q4418570	2003-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4409168	2003-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q4536623	2002-06-25	Paper
A hybrid approach to online and offline partial evaluation	2002-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q4223021	1999-01-10	Paper

Research outcomes over time

This page was built for person: Eijiro Sumii