Ranjit Jhala Books

Refinement Types
Refinement Types

By Ranjit Jhala, Niki Vazou

Average: 0.00, 0 Ratings

Read More
Compiler Construction
Compiler Construction

By Ranjit Jhala

Average: 0.00, 0 Ratings

This book constitutes the proceedings of the 22nd International Conference on Compiler Construction, CC 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAP...

Read More
Programming Languages and Systems
Programming Languages and Systems

By Ranjit Jhala

Average: 0.00, 0 Ratings

This book constitutes the refereed proceedings of the 10th Asian Symposium on Programming Languages and Systems, APLAS 2012, held in Kyoto, Japan, in December 2012. The 24 revised full papers prese...

Read More

Related Articles from our Blog

What is an EAN and How Does it Relate to an ISBN?

If you’ve ever purchased a product online or in a store, you’ve likely come across a barcode. Behind these barcodes lies a standardized system that makes modern commerce possible. Two key codes often encountered are the EAN (European Article Number) and ISBN (International Standard Book Number). But what are they, how are they connected, and why are they so crucial? Let’s explore.

Read More