Jos Iborra
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2007–2015
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | CADE | Reducing Relative Termination to Dependency Pair Problems. | Jos Iborra, Naoki Nishida, Germn Vidal, Akihisa Yamada |
| 2010 | PADL | Explicitly Typed Exceptions for Haskell. | Jos Iborra |
| 2009 | LOPSTR | Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing. | Jos Iborra, Naoki Nishida, Germn Vidal |
| 2008 | ICLP | Termination of Narrowing Using Dependency Pairs. | Mara Alpuente, Santiago Escobar, Jos Iborra |
| 2007 | HASKELL | A lightweight interactive debugger for haskell. | Simon Marlow, Jos Iborra, Bernard J. Pope, Andy Gill |