Juan Rodrguez-Hortal
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
6
Active years
2007–2016
Best venue rank
C
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | FLOPS | Polymorphic Types in Erlang Function Specifications. | Francisco Javier Lpez-Fraguas, Manuel Montenegro, Juan Rodrguez-Hortal |
| 2016 | IFM | Temporal Random Testing for Spark Streaming. | Adrin Riesco, Juan Rodrguez-Hortal |
| 2012 | ICTAC | S-Narrowing for Constructor Systems. | Adrin Riesco, Juan Rodrguez-Hortal |
| 2012 | PEPM | Well-typed narrowing with extra variables in functional-logic programming. | Francisco Javier Lpez-Fraguas, Enrique Martin-Martin, Juan Rodrguez-Hortal |
| 2012 | PPDP | Transparent function types: clearing up opacity. | Enrique Martin-Martin, Juan Rodrguez-Hortal |
| 2010 | APLAS | Liberal Typing for Functional Logic Programs. | Francisco Javier Lpez-Fraguas, Enrique Martin-Martin, Juan Rodrguez-Hortal |
| 2010 | PEPM | Programming with singular and plural non-deterministic functions. | Adrin Riesco, Juan Rodrguez-Hortal |
| 2009 | PEPM | A flexible framework for programming with non-deterministicfunctions. | Francisco Javier Lpez-Fraguas, Juan Rodrguez-Hortal, Jaime Snchez-Hernndez |
| 2008 | FLOPS | Rewriting and Call-Time Choice: The HO Case. | Francisco Javier Lpez-Fraguas, Juan Rodrguez-Hortal, Jaime Snchez-Hernndez |
| 2007 | PPDP | A simple rewrite notion for call-time choice semantics. | Francisco Javier Lpez-Fraguas, Juan Rodrguez-Hortal, Jaime Snchez-Hernndez |