Registered user since Wed 16 May 2018
Name:German Vidal
Country:Spain
Affiliation:Universitat Politecnica de Valencia
Personal website: https://gvidal.webs.upv.es/
Research interests:programming languages, functional programming, logic programming, term rewriting, concurrency, program verification, debugging, program transformation, reversible computation, artificial intelligence, probabilistic logic programming, explainability
Contributions
2025
Symposium on Practical Aspects of Declarative Languages
Using general profile