Carlos Camarão de Figueiredo http://lattes.cnpq.br/2827990228368187

Última atualização do Lattes: 05.04.2018

Nomes de citação: Camarão, Carlos / CAMARÃO, CARLOS
Numero de Citações: 3 Fonte: Web of Science
Mestrado: 7
Doutorado: 4
Pos-Doutorado: 0
Outras: 17
  • Software (3)+
    • Ano
      2004
      Título
      tm2itm, itm2sup, rsup
    • Ano
      2004
      Título
      Mímico
    • Ano
      2004
      Título
      Sistema CT
Linguagens de Programação Overloading Haskell Programação funcional Inferência de Tipos Type Inference Sistemas de Tipos Constrained Polymorphism Java polymorphism Polimorfismo de sobrecarga Recursão Polimórfica Computação Móvel Parameterised types Programação Imperativa Type System Principal typing Views Polymorphic recursion Monadic combinators programação orientada por objetos Semi-unificação internet SMS Interfaces e módulos Linguagem C Tipagem Principal WAP Ambientes Móveis Compiler generation Lazy Evaluation (avaliação preguiçosa) WML Abstract type Ambiente Interativo de Desenvolvimento de Software Satisfazibilidade CGI HTML Ambiguity Simulação Tipos-interseccao Linear logic programação Tipos Propositional Satisfiability Dervadas de Brzozowski e Antimirov Programação em C Proof graphs Sistema de modulos Funções de ordem superior Implemantação de Linguagens de Programação Module system Classes genéricas Algoritmos e Estruturas de Dados Organizaçao e Arquitetura de Computadores Sistemas Operacionais Análise sintática via Composição de Combinadores M Higher-order types Unificação Justificatory Answering Type Declarations Smart recompilation Complexidade de algoritmos Ambiente cliente-servidor Análise sintática Avaliação estrita herança Expressões regulares Geração de código Interface visual Planning Tipos dependentes Proof trees Pattern-matching Recuperação de Informação Formal Semantics Lógica proposicional Orientação por Objetos
CTIT UFMG