Ranjit Jhala

Ranjit Jhala’s Followers

None yet.

Ranjit Jhala

Combine Editions
Ranjit Jhala’s books

Average rating: 5.0 · 2 ratings · 0 reviews · 10 distinct works

	Programming With Refinement Types, An Introduction to Liquid Haskell by Ranjit Jhala, Niki Vazou, Eric Seidel it was amazing 5.00 avg rating — 2 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings (Lecture Notes in Computer Science, 6538) by Ranjit Jhala (Editor), David Schmidt (Editor) 0.00 avg rating — 0 ratings — published 2011	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings by Ranjit Jhala (editor), Atsushi Igarashi (Editor) 0.00 avg rating — 0 ratings — published 2012	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings by Ranjit Jhala (Editor), David Schmidt (Editor) 0.00 avg rating — 0 ratings — published 2011 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Refinement Types: A Tutorial (Foundations and Trends by Ranjit Jhala, Niki Vazou 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings (Lecture Notes in Computer Science Book 7705) by Ranjit Jhala (Editor), Atsushi Igarashi (Editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Nirmal Jhala's Story: An Oral History by Kishen Rana, Dilhar Gohel, Krishna Jhala 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Compiler Construction: 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ... Computer Science and General Issues) by Koen de Bosschere (Editor), Ranjit Jhala (Editor) 0.00 avg rating — 0 ratings — published 2013	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Compiler Construction: 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS ... Notes in Computer Science Book 7791) by Koen de Bosschere (Editor), Ranjit Jhala (Editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

More books by Ranjit Jhala…

Is this you? Let us know. If not, help out and invite Ranjit to Goodreads.