Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Hao Mao
Peter Malec
Petr Musil
Hayanne S. Pinheiro
Giovanni Venturelli
Chen Ma
Goran Frehse
Radu Timofte
Kuanrui Yin
Home
/
Author
/
CARLOS CAMARÃO
Author Info
Open Visualization
Name
Affiliation
Papers
CARLOS CAMARÃO
Departamento de Ciência da Computação Universidade Federal de Minas Gerais, 31270-010 Belo Horizonte, Brasil
15
Collaborators
Citations
PageRank
12
17
5.74
Referers
Referees
References
24
95
123
Publications (15 rows)
Collaborators (12 rows)
Referers (24 rows)
Referees (95 rows)
Title
Citations
PageRank
Year
Ambiguity and constrained polymorphism.
0
0.34
2016
A Mechanized Textbook Proof of a Type Unification Algorithm.
0
0.34
2015
Type Inference for GADTs and Anti-unification
0
0.34
2015
Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading.
1
0.37
2013
Ambiguity and context-dependent overloading.
2
0.40
2013
Mechanized metatheory for a λ-calculus with trust types.
0
0.34
2013
Open and Closed Worlds for Overloading: a Definition and Support for Coexistence
0
0.34
2007
Constraint-set satisfiability for overloading
5
0.53
2004
Mimico: a Monad Combinator Parser Generator
0
0.34
2003
Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell
2
0.37
2003
A View on Abstract and Extensibles Types
0
0.34
2002
Adapting Web contents to WAP devices using Haskell
0
0.34
2001
Type Inference for Overloading without Restrictions, Declarations or Annotations
7
0.70
1999
Towards Higher-Order Types
0
0.34
1998
A Type System for Context-dependent Overloading
0
0.34
1998
1