The following pages link to Juan Rodríguez-Hortalá (Q2437796):
Displayed 14 items.
- Safe typing of functional logic programs with opaque patterns and local bindings (Q2437797) (← links)
- Verification of the ROS NavFn planner using executable specification languages (Q2693303) (← links)
- Polymorphic Types in Erlang Function Specifications (Q2798275) (← links)
- Equivalence of Two Formal Semantics for Functional Logic Programs (Q2867964) (← links)
- (Q2871855) (← links)
- S-Narrowing for Constructor Systems (Q2915104) (← links)
- A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems ∗ (Q3165970) (← links)
- New Results on Type Systems for Functional Logic Programming (Q3557099) (← links)
- A Fully Abstract Semantics for Constructor Systems (Q3636832) (← links)
- Property-Based Testing for Spark Streaming (Q4957189) (← links)
- Singular and plural functions for functional logic programming (Q5410261) (← links)
- Rewriting and narrowing for constructor systems with call-time choice semantics (Q5410729) (← links)
- Rewriting and Call-Time Choice: The HO Case (Q5458434) (← links)
- A liberal type system for functional logic programs (Q5740645) (← links)