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 × Australia
1 × Austria
1 × Italy
1 × Japan
2 × USA
Collaborated with:
T.Sakurai Y.Kameyama T.Saito T.Kiriyama R.M.Burstall A.Igarashi
Talks about:
environ (2) interact (1) function (1) explicit (1) calculus (1) behavior (1) variabl (1) languag (1) context (1) concurr (1)

Person: Masahiko Sato

DBLP DBLP: Sato:Masahiko

Facilitated 2 volumes:


Contributed to:

HCI p2 20092009
HCI p4 20092009
CSL 20032003
FLOPS 20012001
TLCA 19991999
ICLP 19871987

Wrote 6 papers:

HCI-NIMT-2009-SaitoS #exclamation #locality
Fly! Little Me: Localization of Body-Image within Reduced-Self (TS, MS), pp. 255–260.
HCI-VAD-2009-KiriyamaS #behaviour #interactive
Analyzing Human Behaviors in an Interactive Art Installation (TK, MS), pp. 345–352.
CSL-2003-SatoSKI #calculus
Calculi of Meta-variables (MS, TS, YK, AI), pp. 484–497.
FLOPS-2001-SatoSK #calculus
A Simply Typed Context Calculus with First-Class Environments (MS, TS, YK), pp. 359–374.
Explicit Environments (MS, TS, RMB), pp. 340–354.
ICLP-1987-Sato87 #concurrent #logic #named
Quty: A Concurrent Language Based on Logic and Function (MS), pp. 1034–1056.

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.