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 × India
Collaborated with:
A.Igarashi Y.Nishida Yusuke Miyazaki 0001
Talks about:
manifest (2) contract (2) type (2) polymorph (1) hindley (1) gradual (1) datatyp (1) algebra (1) milner (1) effect (1)

Person: Taro Sekiyama

DBLP DBLP: Sekiyama:Taro

Contributed to:

POPL 20152015
ESOP 20192019
POPL 20172017
POPL 20192019

Wrote 4 papers:

POPL-2015-SekiyamaNI #contract #data type
Manifest Contracts for Datatypes (TS, YN, AI), pp. 195–207.
ESOP-2019-SekiyamaI #algebra #polymorphism
Handling Polymorphic Algebraic Effects (TS, AI), pp. 353–380.
POPL-2017-SekiyamaI #contract
Stateful manifest contracts (TS, AI), pp. 530–544.
POPL-2019-MiyazakiSI #type inference #type system
Dynamic type inference for gradual Hindley-Milner typing (YM0, TS, AI), p. 29.

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.