Yolanda Ortega-Mallén

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Rule formats for nominal process calculi (available as arXiv preprint)	2020-05-27	Paper
Rule formats for nominal process calculi (available as arXiv preprint)	2019-11-26	Paper
The role of indirections in lazy natural semantics Lecture Notes in Computer Science	2015-12-03	Paper
To be or not to be …lazy (In a Parallel Context) Electronic Notes in Theoretical Computer Science	2014-07-22	Paper
Using Maude and its strategies for defining a framework for analyzing Eden semantics Electronic Notes in Theoretical Computer Science	2013-12-06	Paper
Dealing denotationally with stream-based communication	2013-09-27	Paper
A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation Theoretical Aspects of Computing – ICTAC 2012	2012-09-21	Paper
Continuation semantics for parallel Haskell dialects Lecture Notes in Computer Science	2010-01-05	Paper
Parallel functional programming in Eden Journal of Functional Programming	2005-11-21	Paper
scientific article; zbMATH DE number 1638657 (Why is no real title available?)	2001-08-29	Paper

Research outcomes over time

This page was built for person: Yolanda Ortega-Mallén