Searching for authors named "Eijiro Sumii" – sorted by Relevance.
22 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
