Publicaciones en las que colabora con MERCEDES HIDALGO HERRERO (13)

2015

  1. The role of indirections in lazy natural semantics

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2013

  1. An operational semantics for distributed lazy evaluation

    Trends in Functional Programming (Intellect Ltd.), pp. 65-80

2012

  1. A locally nameless representation for a natural semantics for lazy evaluation

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2011

  1. Relating function spaces to resourced function spaces

    Proceedings of the ACM Symposium on Applied Computing

2010

  1. An operational semantics for distributed lazy evaluation

    Trends in Functional Programming 10 (Intellect Ltd.), pp. 65-80

2009

  1. To be or not to be ...lazy (In a Parallel Context)

    Electronic Notes in Theoretical Computer Science, Vol. 258, Núm. 1, pp. 21-39

2007

  1. Comparing alternative evaluation strategies for stream-based parallel functional languages

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics

    Electronic Notes in Theoretical Computer Science, Vol. 174, Núm. 10 SPEC. ISS., pp. 119-137

2006

  1. Analyzing the influence of mixed evaluation on the performance of Eden skeletons

    Parallel Computing, Vol. 32, Núm. 7-8, pp. 523-538

  2. Using Maude and its strategies for defining a framework for analyzing Eden semantics

    Electronic Notes in Theoretical Computer Science

2005

  1. Dealing denotationally with stream-based communication

    Electronic Notes in Theoretical Computer Science

2003

  1. Continuation semantics for parallel Haskell dialects

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2895, pp. 303-321

2002

  1. An operational semantics for the parallel language Eden

    Parallel Processing Letters