BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Martin-Martin:Enrique

Contributed to:

FM 20152015
TACAS 20142014
PEPM 20132013
TAP 20132013
PEPM 20122012
PPDP 20122012
PEPM 20112011

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.