Travelled to:1 × Belgium
1 × France
1 × Hungary
1 × Italy
1 × Norway
2 × USA
Collaborated with:F.J.López-Fraguas J.Rodríguez-Hortalá R.Caballero A.Riesco S.Tamarit ∅ E.Albert P.Arenas S.Genaim M.Gómez-Zamalloa G.Puebla G.Román-Díez J.Correas A.Flores-Montoya
Talks about:program (5) function (4) type (4) sequenti (3) logic (3) concurr (2) erlang (2) declar (2) debugg (2) distribut (1)
Person: Enrique Martin-Martin
DBLP: Martin-Martin:Enrique
Contributed to:
2015
2014
2013
20132012
20122011Wrote 8 papers:
- FM-2015-AlbertACGGMPR #analysis #concurrent #distributed #source code
- Resource Analysis: From Sequential to Concurrent and Distributed Programs (EA, PA, JC, SG, MGZ, EMM, GP, GRD), pp. 3–17.
- TACAS-2014-AlbertAFGGMPR #concurrent #named
- SACO: Static Analyzer for Concurrent Objects (EA, PA, AFM, SG, MGZ, EMM, GP, GRD), pp. 562–567.
- TACAS-2014-CaballeroMRT #debugging #declarative #erlang #named #source code
- EDD: A Declarative Debugger for Sequential Erlang Programs (RC, EMM, AR, ST), pp. 581–586.
- PEPM-2013-Lopez-FraguasM #evaluation #functional #type system
- Typing as functional-logic evaluation (FJLF, EMM), pp. 23–32.
- TAP-2013-CaballeroMRT #debugging #declarative #erlang #source code
- A Declarative Debugger for Sequential Erlang Programs (RC, EMM, AR, ST), pp. 96–114.
- PEPM-2012-Lopez-FraguasMR #functional #logic programming
- Well-typed narrowing with extra variables in functional-logic programming (FJLF, EMM, JRH), pp. 83–92.
- PPDP-2012-Martin-MartinR
- Transparent function types: clearing up opacity (EMM, JRH), pp. 127–138.
- PEPM-2011-Martin-Martin #functional #logic programming
- Type classes in functional logic programming (EMM), pp. 121–130.