FaCT: a DSL for timing-sensitive computation
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad S. Wahby, John Renner, Benjamin Grégoire, Gilles Barthe, Ranjit Jhala, Deian Stefan
FaCT: a DSL for timing-sensitive computation
PLDI, 2019.

PLDI 2019
Full names Links ISxN
	author        = "Sunjay Cauligi and Gary Soeller and Brian Johannesmeyer and Fraser Brown and Riad S. Wahby and John Renner and Benjamin Grégoire and Gilles Barthe and Ranjit Jhala and Deian Stefan",
	booktitle     = "{Proceedings of the 40th Conference on Programming Language Design and Implementation}",
	doi           = "10.1145/3314221.3314605",
	isbn          = "978-1-4503-6712-7",
	pages         = "174--189",
	publisher     = "{ACM}",
	title         = "{FaCT: a DSL for timing-sensitive computation}",
	year          = 2019,


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.