Anjali Pal

According to our database, Anjali Pal authored at least 2 papers in 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Equality Saturation Theory Exploration à la Carte.

Anjali Pal, Brett Saiki, Ryan Tjoa, Cynthia Richey, Amy Zhu, Oliver Flatt, Max Willsey, Zachary Tatlock, Chandrakana Nandi

Proc. ACM Program. Lang., October, 2023

Dependently Typing R Vectors, Arrays, and Matrices.

John Wrenn, Anjali Pal, Alexa VanHattum, Shriram Krishnamurthi

CoRR, 2023