Juan Rodríguez-Hortalá

Available identifiers

zbMath Open rodriguez-hortala.juanMaRDI QIDQ2437796

List of research outcomes

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
https://portal.mardi4nfdi.de/entity/Q2871855	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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