Juan Rodríguez-Hortalá

Available identifiers

Publication	Date of Publication	Type
Verification of the ROS NavFn planner using executable specification languages	2023-03-20	Paper
Property-Based Testing for Spark Streaming	2021-09-03	Paper
A liberal type system for functional logic programs	2016-07-27	Paper
Polymorphic Types in Erlang Function Specifications	2016-04-04	Paper
Rewriting and narrowing for constructor systems with call-time choice semantics	2014-04-17	Paper
Singular and plural functions for functional logic programming	2014-04-16	Paper
Safe typing of functional logic programs with opaque patterns and local bindings	2014-03-13	Paper
Functions and lazy evaluation in Prolog	2014-01-10	Paper
Equivalence of two formal semantics for functional logic programs	2013-12-20	Paper
A hierarchy of semantics for non-deterministic term rewriting systems	2012-10-19	Paper
S-narrowing for constructor systems	2012-09-21	Paper
New results on type systems for functional logic programming	2010-04-27	Paper
A Fully Abstract Semantics for Constructor Systems	2009-06-30	Paper
Rewriting and Call-Time Choice: The HO Case	2008-04-11	Paper

This page was built for person: Juan Rodríguez-Hortalá