Enrique Martin-Martin

Identifiers

• name variant Enrique Martin-Martin 0.60 · backfill

Papers (2)

1. A Formal, Resource Consumption-Preserving Translation of Actors to Haskell cs.PL · 2016 · author #4
2. Rewriting and narrowing for constructor systems with call-time choice semantics cs.PL · 2012 · author #2

Mentions

• 1209.2617 #2 · backfill · confidence 0.70 Enrique Martin-Martin

Frequent Coauthors

• Elvira Albert 1 shared papers
• Francisco J. L\'opez-Fraguas 1 shared papers
• Frank de Boer 1 shared papers
• Jaime S\'anchez-Hern\'andez 1 shared papers
• Juan Rodr\'iguez-Hortal\'a 1 shared papers
• Nikolaos Bezirgiannis 1 shared papers