Searching for authors named "Eijiro Sumii" – sorted by Relevance.
-
An Implementation of Transparent Migration on Standard Scheme
- An Implementation of Transparent Migration on Standard Scheme Eijiro Sumii sumii
- Cited by 7 (0 self) – Add To MetaCart
-
A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References
- References (Draft as of 3:37, January 20, 2009 JST) Eijiro Sumii Tohoku University sumii
- Cited by 1 (0 self) – Add To MetaCart
-
A bisimulation for dynamic sealing
- Abstract A Bisimulation for Dynamic Sealing Eijiro Sumii University of Pennsylvania sumii
- Cited by 21 (3 self) – Add To MetaCart
-
VM\Lambda: A Functional Calculus for Scientific Discovery
- VM#: A Functional Calculus for Scientific Discovery Eijiro Sumii Department of Computer Science
- Add To MetaCart
-
Online Type-Directed Partial Evaluation for Dynamically-Typed Languages
- Online Type-Directed Partial Evaluation for Dynamically-Typed Languages 3 Eijiro Sumii Naoki
- Cited by 5 (1 self) – Add To MetaCart
-
Relating Cryptography and Polymorphism
- Relating Cryptography and Polymorphism Benjamin Pierce Eijiro Sumii y University
- Cited by 3 (1 self) – Add To MetaCart
-
Online-and-Offline Partial Evaluation: A Mixed Approach (Extended Abstract)
- Online-and-Offline Partial Evaluation: A Mixed Approach (Extended Abstract) Eijiro Sumii
- Cited by 4 (0 self) – Add To MetaCart
-
A Hybrid Approach to Online and Offline Partial Evaluation
- A Hybrid Approach to Online and Offline Partial Evaluation 3 Eijiro Sumii (sumii
- Cited by 9 (0 self) – Add To MetaCart
-
Logical Relations for Encryption
- Logical Relations for Encryption 3 Eijiro Sumii y University of Tokyo sumii
- Add To MetaCart
-
A Bisimulation for Dynamic Sealing
- A Bisimulation for Dynamic Sealing EIJIRO SUMII and BENJAMIN C. PIERCE University of Pennsylvania
- Add To MetaCart

