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

Última atualização do Lattes: 15.09.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
      Mímico
    • Ano
      2004
      Título
      Sistema CT
    • Ano
      2004
      Título
      tm2itm, itm2sup, rsup
Linguagens de Programação Haskell Overloading Programação funcional Inferência de Tipos Type Inference Constrained Polymorphism Sistemas de Tipos Java polymorphism Polimorfismo de sobrecarga Recursão Polimórfica Computação Móvel Programação Imperativa Type System Parameterised types Polymorphic recursion Principal typing Monadic combinators Views Programaçao Orientada por Objetos Semi-unificação INTERNET SMS WAP Interfaces e módulos Linguagem C Tipagem Principal Compiler generation Abstract type Lazy Evaluation (avaliação preguiçosa) Ambiente Interativo de Desenvolvimento de Software Ambientes móveis Satisfazibilidade WML HTML Tipos-interseccao Linear logic simulação Ambiguity CGI Propositional Satisfiability Programação Tipos Implemantação de Linguagens de Programação Module system Funções de ordem superior Sistema de modulos Proof graphs Programação em C Dervadas de Brzozowski e Antimirov 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 Type Declarations Unificação Justificatory Answering Smart recompilation Ambiente cliente-servidor Complexidade de algoritmos Análise sintática Avaliação estrita Herança Expressões regulares geracao de codigo Interface visual Planning Tipos dependentes Proof trees Pattern-matching Recuperação de informação Formal Semantics Lógica proposicional orientacao por objetos
CTIT UFMG