Vidal, Germán :
- Technical University of Valencia, Spain - Programming Languages, Functional and Logic Programming, Multi-Paradigm Programming, Semantics, Program Transformation, Partial Evaluation, Slicing, Specification, Analysis and Verification, Computational Costs.