( en | de | ru )

 

Disambiguation of "Rodríguez-Hortalá, Juan"

Author of the publication

copydeleteadd this publication to your clipboard
A liberal type system for functional logic programs.

, , and . Math. Struct. Comput. Sci., 25 (4): 942-977 (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Juan Rodriguez

Juan Miguel Rodríguez López

Juan Miguel Rodríguez López

Juan Rodriguez Hernández

Juan Antonio Pajarin Rodriguez

 

Other publications of authors with the same name

Liberal Typing for Functional Logic Programs., , and . APLAS, volume 6461 of Lecture Notes in Computer Science, page 80-96. Springer, (2010)A Fully Abstract Semantics for Constructor Systems., , and . RTA, volume 5595 of Lecture Notes in Computer Science, page 320-334. Springer, (2009)Property-based testing for Spark Streaming., and . CoRR, (2018)Transparent function types: clearing up opacity., and . PPDP, page 127-138. ACM, (2012)FlinkCheck: Property-Based Testing for Apache Flink., , , and . IEEE Access, (2019)Singular and plural functions for functional logic programming., and . Theory Pract. Log. Program., 14 (1): 65-116 (2014)A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems.. FSTTCS, volume 2 of LIPIcs, page 328-339. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2008)Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics., , and . INAP/WLP, volume 5437 of Lecture Notes in Computer Science, page 206-222. Springer, (2007)A simple rewrite notion for call-time choice semantics., , and . PPDP, page 197-208. ACM, (2007)The Full Abstraction Problem for Higher Order Functional-Logic Programs, and . CoRR, (2010)