Lidia Sánchez-Gil

Publication Activity (10 Years)

Years Active: 2009-2014
Publications (10 Years): 0

Top Topics

Object Identity

Artificial Systems

Top Venues

Ershov Memorial Conference

Publications

Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén
The Role of Indirections in Lazy Natural Semantics. Ershov Memorial Conference (2014)
Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén
A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation. ICTAC (2012)
Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén
Relating function spaces to resourced function spaces. SAC (2011)
Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén
An Operational Semantics for Distributed Lazy Evaluation. Trends in Functional Programming (2009)