Ravi Chugh
IsoLATE: A Type System for Self-recursion
ESOP, 2015.
@inproceedings{ESOP-2015-Chugh, author = "Ravi Chugh", booktitle = "{Proceedings of the 24th European Symposium on Programming}", doi = "10.1007/978-3-662-46669-8_11", isbn = "978-3-662-46668-1", pages = "257--282", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{IsoLATE: A Type System for Self-recursion}", volume = 9032, year = 2015, }