BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Sumii:Eijiro

Facilitated 1 volumes:

FLOPS 2014Ed

Contributed to:

LICS 20122012
FOSSACS 20112011
CSL 20092009
ESOP 20092009
LICS 20072007
POPL 20052005
POPL 20042004
ASIA-PEPM 20022002
FLOPS 20022002
PEPM 20002000

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.