Carlos Camarão

Affiliations:
  • Federal University of Minas Geraism (UFMG), Belo horizonte, Brazil


According to our database1, Carlos Camarão authored at least 19 papers between 1995 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Special issue on revised and extended versions of papers presented at the 22nd Brazilian Symposium on Programming Languages (SBLP 2018).
Sci. Comput. Program., 2022

2016
Ambiguity and constrained polymorphism.
Sci. Comput. Program., 2016

Optional Type Classes for Haskell.
Proceedings of the Programming Languages - 20th Brazilian Symposium, 2016

Certified Derivative-Based Parsing of Regular Expressions.
Proceedings of the Programming Languages - 20th Brazilian Symposium, 2016

2015
A Mechanized Textbook Proof of a Type Unification Algorithm.
Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015

Type Inference for GADTs and Anti-unification.
Proceedings of the Programming Languages, 2015

2013
Mechanized metatheory for a λ-calculus with trust types.
J. Braz. Comput. Soc., 2013

Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading.
J. Braz. Comput. Soc., 2013

Ambiguity and context-dependent overloading.
J. Braz. Comput. Soc., 2013

2007
Open and Closed Worlds for Overloading: a Definition and Support for Coexistence.
J. Univers. Comput. Sci., 2007

2004
Constraint-set satisfiability for overloading.
Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

2003
Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell.
J. Univers. Comput. Sci., 2003

Mimico: a Monad Combinator Parser Generator.
J. Braz. Comput. Soc., 2003

2002
A View on Abstract and Extensibles Types.
Rev. Colomb. de Computación, 2002

2001
Adapting Web Contents to WAP Devices using Haskell.
Proceedings of the 21st International Conference of the Chilean Computer Science Society (SCCC 2001), 2001

1999
Type Inference for Overloading without Restrictions, Declarations or Annotations.
Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

1997
A Type System for Context-dependent Overloading.
Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997

Towards Higher-Order Types.
Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997

1995
A proof system for a sequential object-based language.
PhD thesis, 1995


  Loading...