( en | de | ru )

 

Disambiguation of "Figueiredo, Lucília"

Author of the publication

copydeleteadd this publication to your clipboard
Ambiguity and constrained polymorphism.

, , and . Sci. Comput. Program., (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Frederico Figueiredo

Clarice Figueiredo

Antonio MacDowell Figueiredo

Ayrton Figueiredo Martins

Giovanna Negrão de Figueiredo

 

Other publications of authors with the same name

Type Inference for Overloading without Restrictions, Declarations or Annotations., and . Fuji International Symposium on Functional and Logic Programming, volume 1722 of Lecture Notes in Computer Science, page 37-52. Springer, (1999)Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading., , and . J. Braz. Comput. Soc., 19 (4): 423-432 (2013)Constraint-set satisfiability for overloading., , and . PPDP, page 67-77. ACM, (2004)Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell., , and . J. Univers. Comput. Sci., 9 (8): 873-890 (2003)Ambiguity and constrained polymorphism., , and . Sci. Comput. Program., (2016)Mechanized metatheory for a λ-calculus with trust types., , and . J. Braz. Comput. Soc., 19 (4): 433-443 (2013)Optional Type Classes for Haskell., , , and . SBLP, volume 9889 of Lecture Notes in Computer Science, page 125-139. Springer, (2016)