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 × Austria
1 × Japan
Collaborated with:
Talks about:
name (2) call (2) hierarchi (1) delimit (1) control (1) axiomat (1) equat (1) cps (1)

Person: Asami Tanaka

DBLP DBLP: Tanaka:Asami

Contributed to:

FLOPS 20122012
PPDP 20102010

Wrote 2 papers:

FLOPS-2012-TanakaK #call-by #continuation
A Call-by-Name CPS Hierarchy (AT, YK), pp. 260–274.
PPDP-2010-KameyamaT #axiom #call-by #equation
Equational axiomatization of call-by-name delimited control (YK, AT), pp. 77–86.

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.