Full Name
Jorge Antonio Navas Laserna
(not current staff)
Variants
Navas, J.
 
 
 
Email
dcsjanl@nus.edu.sg
 

Publications

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

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