Travelled to:1 × Croatia
1 × Germany
1 × Italy
1 × Poland
1 × Portugal
1 × United Kingdom
2 × Japan
2 × USA
Collaborated with:A.Piérard ∅ B.C.Pierce N.Kobayashi H.Bannai D.Sangiorgi R.Affeldt H.Masuhara A.Yonezawa
Talks about:calculus (4) bisimul (4) higher (3) order (3) distribut (2) environment (1) polymorph (1) discoveri (1) character (1) scientif (1)
Person: Eijiro Sumii
DBLP: Sumii:Eijiro
Facilitated 1 volumes:
EdContributed to:
2012
2011
2009
20092007
20052004
200220022000Wrote 10 papers:
- LICS-2012-PierardS #calculus #distributed #higher-order
- A Higher-Order Distributed Calculus with Name Creation (AP, ES), pp. 531–540.
- FoSSaCS-2011-PierardS #bisimulation #calculus #distributed #higher-order #process
- Sound Bisimulations for Higher-Order Distributed Process Calculus (AP, ES), pp. 123–137.
- CSL-2009-Sumii #equivalence #polymorphism #λ-calculus
- A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References (ES), pp. 455–469.
- ESOP-2009-Sumii #for free #formal method #memory management
- A Theory of Non-monotone Memory (Or: Contexts for free) (ES), pp. 237–251.
- LICS-2007-SangiorgiKS #bisimulation #higher-order
- Environmental Bisimulations for Higher-Order Languages (DS, NK, ES), pp. 293–302.
- POPL-2005-SumiiP #abstraction #bisimulation #recursion
- A bisimulation for type abstraction and recursion (ES, BCP), pp. 63–74.
- POPL-2004-SumiiP #bisimulation
- A bisimulation for dynamic sealing (ES, BCP), pp. 161–172.
- ASIA-PEPM-2002-AffeldtMSY #bytecode #runtime
- Supporting objects in run-time bytecode specialization (RA, HM, ES, AY), pp. 50–60.
- FLOPS-2002-SumiiB #calculus #functional #named
- VMλ: A Functional Calculus for Scientific Discovery (ES, HB), pp. 290–304.
- PEPM-2000-SumiiK #approach #partial evaluation
- Online-and-Offline Partial Evaluation: A Mixed Approach (ES, NK), pp. 12–21.