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 × Austria
1 × Germany
1 × Italy
1 × Portugal
1 × Spain
Collaborated with:
M.Alpuente S.Escobar N.Nishida G.Vidal A.Yamada S.Marlow B.J.Pope A.Gill
Talks about:
termin (4) narrow (3) depend (3) pair (3) haskel (2) relat (2) lightweight (1) interact (1) explicit (1) problem (1)

Person: José Iborra

DBLP DBLP: Iborra:Jos=eacute=

Contributed to:

CADE 20152015
PADL 20102010
LOPSTR 20092009
ICLP 20082008
RTA 20082008
Haskell 20072007

Wrote 6 papers:

CADE-2015-IborraNVY #dependence #problem #termination
Reducing Relative Termination to Dependency Pair Problems (JI, NN, GV, AY), pp. 163–178.
PADL-2010-Iborra #exception #haskell
Explicitly Typed Exceptions for Haskell (JI), pp. 43–57.
LOPSTR-2009-IborraNV #dependence #proving #termination
Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing (JI, NN, GV), pp. 52–66.
ICLP-2008-AlpuenteEI #dependence #termination #using
Termination of Narrowing Using Dependency Pairs (MA, SE, JI), pp. 317–331.
RTA-2008-AlpuenteEI #composition #termination
Modular Termination of Basic Narrowing (MA, SE, JI), pp. 1–16.
Haskell-2007-MarlowIPG #debugging #haskell #interactive #lightweight
A lightweight interactive debugger for haskell (SM, JI, BJP, AG), pp. 13–24.

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.