José María Rey Poza

Publication Activity (10 Years)

Years Active: 2005-2017
Publications (10 Years): 1

Top Topics

Functional Programs

Lazy Evaluation

Top Venues

Publications

José María Rey Poza, Julio Mariño-Carballo
The Unfolding Semantics of Functional Programs. CoRR (2017)
Emilio Jesús Gallego Arias, Julio Mariño-Carballo, José María Rey Poza
A Proposal for Disequality Constraints in Curry. Electron. Notes Theor. Comput. Sci. 177 (2007)
Julio Mariño, José María Rey Poza
Adding constraints to curry via flat guards. WCFLP (2005)