Contact
DMCA
Privacy Policy
Filepdf
Toggle navigation
Categories
Genre
Best Book 2021
Best Young Adult Books
Best Sci-Fict & Fantasy
NY Times Best Books
Best Romance Novel
Best self-published Amazon
Best Kindle & Prime Amazon
100 Books to Read
100 Child Books to Read
Art
Biography
Business
Childrens
Classics
Comics
Contemporary
Manga
Memoir
Music
Mystery
Non Fiction
Poetry
Psychology
Cookbooks
Religion
Crime
Romance
Science
Fantasy
Science Fiction
Fiction
Graphic Novels
Sport
History
Thriller
Horror
Travel
Humor and Comedy
Young Adult
More Than
12,0657,538
Books Collection
Home
New release
Popular Books
Most Read
Popular Author
Ranjit Jhala
home
Author
Ranjit Jhala
8 Published Books
Ranjit Jhala
Popular Books by Ranjit Jhala
View More
Programming With Refinement Types, An Introduction to Liquid Haskell
By:
Ranjit Jhala
View More
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
View More
Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings
By:
Ranjit Jhala
View More
Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings
By:
Ranjit Jhala
View More
Refinement Types: A Tutorial (Foundations and Trends
By:
Ranjit Jhala
View More
Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings
By:
Ranjit Jhala
View More
Nirmal Jhala's Story: An Oral History
By:
Kishen Rana
View More
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
