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 × Czech Republic
1 × Italy
1 × USA
Collaborated with:
S.Tobin-Hochstadt T.S.Strickland M.Felleisen D.Feltey C.Dimoulas B.Greenman Max S. New J.Vitek E.Dean M.Flatt R.B.Findler
Talks about:
gradual (3) type (3) class (2) constrain (1) contract (1) practic (1) delimit (1) control (1) toward (1) sound (1)

Person: Asumu Takikawa

DBLP DBLP: Takikawa:Asumu

Contributed to:

ECOOP 20152015
ESOP 20132013
OOPSLA 20122012
POPL 20162016

Wrote 4 papers:

ECOOP-2015-TakikawaFDFFTF #towards #type system
Towards Practical Gradual Typing (AT, DF, ED, MF, RBF, STH, MF), pp. 4–27.
ESOP-2013-TakikawaST #contract
Constraining Delimited Control with Contracts (AT, TSS, STH), pp. 229–248.
OOPSLA-2012-TakikawaSDTF #type system
Gradual typing for first-class classes (AT, TSS, CD, STH, MF), pp. 793–810.
POPL-2016-TakikawaFGNVF #question #type system
Is sound gradual typing dead? (AT, DF, BG, MSN, JV, MF), pp. 456–468.

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.