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 × Poland
1 × Sweden
2 × Austria
2 × Italy
3 × Japan
3 × USA
Collaborated with:
O.Kiselyov C.Shan A.Tanaka M.Sato T.Sakurai T.Yonezawa M.Hasegawa J.Oishi Takahisa Watanabe Jun Inoue 0001 Kenichi Suzuki B.Aktemur K.Nakazawa M.Tatsuta H.Nakano A.Igarashi
Talks about:
stage (7) type (6) delimit (5) control (5) program (3) generat (3) continu (3) hierarchi (2) challeng (2) calculi (2)

Person: Yukiyoshi Kameyama

DBLP DBLP: Kameyama:Yukiyoshi

Facilitated 1 volumes:

FLOPS 2004Ed

Contributed to:

PEPM 20142014
PEPM 20132013
FLOPS 20122012
PPDP 20102010
PEPM 20092009
CSL 20082008
FLOPS 20082008
PEPM 20082008
CSL 20042004
CSL 20032003
ICFP 20032003
FLOPS 20012001
GPCE 20172017
PEPM 20162016
PEPM 20182018

Wrote 16 papers:

PEPM-2014-KameyamaKS #code generation #combinator
Combinators for impure yet hygienic code generation (YK, OK, CcS), pp. 3–14.
PEPM-2013-AktemurKKS #challenge #generative #programming
Shonan challenge for generative programming: short position paper (BA, YK, OK, CcS), pp. 147–154.
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.
PEPM-2009-KameyamaKS #staging
Shifting the stage: staging with delimited control (YK, OK, CcS), pp. 111–120.
CSL-2008-NakazawaTKN #λ-calculus
Undecidability of Type-Checking in Domain-Free Typed λ-Calculi with Existence (KN, MT, YK, HN), pp. 478–492.
FLOPS-2008-KameyamaY #continuation
Typed Dynamic Control Operators for Delimited Continuations (YK, TY), pp. 239–254.
PEPM-2008-KameyamaKS #staged
Closing the stage: from staged code to typed closures (YK, OK, CcS), pp. 147–157.
CSL-2004-Kameyama #axiom #continuation
Axioms for Delimited Continuations in the CPS Hierarchy (YK), pp. 442–457.
CSL-2003-SatoSKI #calculus
Calculi of Meta-variables (MS, TS, YK, AI), pp. 484–497.
ICFP-2003-KameyamaH #axiom #continuation
A sound and complete axiomatization of delimited continuations (YK, MH), pp. 177–188.
FLOPS-2001-SatoSK #calculus
A Simply Typed Context Calculus with First-Class Environments (MS, TS, YK), pp. 359–374.
GPCE-2017-OishiK #multi #programming #staging #type safety
Staging with control: type-safe multi-stage programming with control operators (JO, YK), pp. 29–40.
PEPM-2016-InoueKK #challenge #staging
Staging beyond terms: prospects and challenges (JI0, OK, YK), pp. 103–108.
PEPM-2016-SuzukiKK #performance #query
Finally, safely-extensible and efficient language-integrated query (KS, OK, YK), pp. 37–48.
PEPM-2018-WatanabeK #generative #ml
Program generation for ML modules (short paper) (TW, YK), pp. 60–66.

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.