Index-Stratified Types
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Rohan Jacob-Rao, Brigitte Pientka, David Thibodeau
Index-Stratified Types
FSCD, 2018.

FSCD 2018
Full names Links ISxN
	author        = "Rohan Jacob-Rao and Brigitte Pientka and David Thibodeau",
	booktitle     = "{Proceedings of the Third International Conference on Formal Structures for Computation and Deduction}",
	doi           = "10.4230/LIPIcs.FSCD.2018.19",
	isbn          = "978-3-95977-077-4",
	pages         = "17",
	publisher     = "{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}",
	title         = "{Index-Stratified Types}",
	year          = 2018,

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.