Mercedes Hidalgo-Herrero

Available identifiers

zbMath Open hidalgo-herrero.mercedesMaRDI QIDQ2850666

List of research outcomes

Publication	Date of Publication	Type
The Role of Indirections in Lazy Natural Semantics	2015-12-03	Paper
To be or not to be …lazy (In a Parallel Context)	2014-07-22	Paper
Using Maude and its strategies for defining a framework for analyzing Eden semantics	2013-12-06	Paper
Dealing denotationally with stream-based communication	2013-09-27	Paper
Comparing Problem Solving Strategies for NP-hard Optimization Problems	2013-07-31	Paper
A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation	2012-09-21	Paper
Programming Languages and Systems	2010-01-05	Paper

Research outcomes over time

This page was built for person: Mercedes Hidalgo-Herrero