BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Collaborated with:
R.Bodík
Talks about:
synthesi (1) system (1) reason (1) bonsai (1) type (1) base (1)

Person: Kartik Chandra

DBLP DBLP: Chandra:Kartik

Contributed to:

POPL 20182018

Wrote 1 papers:

POPL-2018-ChandraB #named #reasoning #type system
Bonsai: synthesis-based reasoning for type systems (KC, RB), p. 34.
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.