Yolanda Ortega-Mallén

Available identifiers

zbMath Open ortega-mallen.yolandaMaRDI QIDQ2736354

List of research outcomes

Publication	Date of Publication	Type
Rule formats for nominal process calculi	2020-05-27	Paper
Rule formats for nominal process calculi	2019-11-26	Paper
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
A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation	2012-09-21	Paper
Continuation semantics for parallel Haskell dialects	2010-01-05	Paper
Parallel functional programming in Eden	2005-11-21	Paper
https://portal.mardi4nfdi.de/entity/Q2736355	2001-08-29	Paper

Research outcomes over time

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