New Results on Type Systems for Functional Logic Programming - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá. New Results on Type Systems for Functional Logic Programming. In Santiago Escobar, editor, Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers. Volume 5979 of Lecture Notes in Computer Science, pages 128-144, Springer, 2009. [doi]

This author has not been identified. Look up 'Francisco Javier López-Fraguas' in GoogleThis author has not been identified. Look up 'Enrique Martin-Martin' in GoogleThis author has not been identified. It may be one of the following persons:

Juan Rodríguez-Hortalá

Look up 'Juan Rodríguez-Hortalá' in Google

runs on WebDSL