Full Name
JORGE ANTONIO NAVAS LASERNA
Variants
Navas, J.
 
Main Affiliation
 
 
Email
dcsjanl@nus.edu.sg
 

Publications

Results 1-1 of 1 (Search time: 0.004 seconds).

Issue DateTitleAuthor(s)
12009Towards parameterized regular type inference using set constraintsBueno, F.; Navas, J. ; Hermenegildo, M.