Lidia Sánchez-Gil

According to our database, Lidia Sánchez-Gil authored at least 4 papers between 2009 and 2014.

Collaborative distances:

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

2014

The Role of Indirections in Lazy Natural Semantics.

Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén

Proceedings of the Perspectives of System Informatics, 2014

2012

A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation.

Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén

Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

2011

Relating function spaces to resourced function spaces.

Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

2009

An Operational Semantics for Distributed Lazy Evaluation.

Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén

Proceedings of the Tenth Symposium on Trends in Functional Programming, 2009