( en | de | ru )

 

Disambiguation of "Camarão, Carlos"

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.

Carlos Briede

Carlos Rodríguez

Carlos Schleipen

Carlos Strunz

Carlos Maya

 

Other publications of authors with the same name

Mimico: a Monad Combinator Parser Generator., , and . J. Braz. Comput. Soc., 9 (1): 27-40 (2003)A Type System for Context-dependent Overloading., and . US-Brazil Joint Workshops on the Formal Foundations of Software Systems, volume 14 of Electronic Notes in Theoretical Computer Science, page 52-61. Elsevier, (1997)A View on Abstract and Extensibles Types., and . Rev. Colomb. de Computación, 3 (1): 21-40 (2002)Special issue on revised and extended versions of papers presented at the 22nd Brazilian Symposium on Programming Languages (SBLP 2018)., and . Sci. Comput. Program., (2022)Towards Higher-Order Types., and . US-Brazil Joint Workshops on the Formal Foundations of Software Systems, volume 14 of Electronic Notes in Theoretical Computer Science, page 38-51. Elsevier, (1997)Ambiguity and context-dependent overloading., and . J. Braz. Comput. Soc., 19 (3): 313-324 (2013)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)Certified Derivative-Based Parsing of Regular Expressions., , and . SBLP, volume 9889 of Lecture Notes in Computer Science, page 95-109. Springer, (2016)Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell., , and . J. Univers. Comput. Sci., 9 (8): 873-890 (2003)Mechanized metatheory for a λ-calculus with trust types., , and . J. Braz. Comput. Soc., 19 (4): 433-443 (2013)