Karla Ramírez Pulido

According to our database1, Karla Ramírez Pulido authored at least 2 papers between 2019 and 2022.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Extensión de un sistema de tipos gradual para registros usando tipos unión
PhD thesis, 2022

2019
Gradual Typing Using Union Typing With Records.
Proceedings of the Selected Papers of the Eleventh and Twelfth Latin American Workshop on Logic/Languages, 2019


  Loading...