Mostrando 1 - 2 Resultados de 2 Para Buscar '' Saltar al contenido
BDU3
  • Inicio
  • Su cuenta
  • Salir
  • Entrar
Avanzado
Restablecer filtros
Materias: Tree structures
Restablecer filtros
Mostrar filtros (1)
Materias: Tree structures
  • Resultados de búsqueda
Materias dentro de su búsqueda. Materias dentro de su búsqueda.
Calculations 2 Computer programming languages 2 Differentiation (calculus) 2 Exponential time complexity 2 Path polymorphism 2 Pattern matching 2 Polynomial approximation 2 Polynomial-time 2 Recursive types 2 Tree structures Trees (mathematics) 2 Type checking 2 Type equivalence 2 Type systems 2 Typechecking 2 Typical patterns 2 Λ-calculus 2
Mostrando 1 - 2 Resultados de 2 Para Buscar '', tiempo de consulta: 0.02s Limitar resultados
  1. 1
    Ecient type checking for path polymorphism
    Publicado 2018
    Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
    Enlace del recurso
    Enlace del recurso
    Agregar a favoritos
    Guardado en:
  2. 2
    Ecient type checking for path polymorphism
    por Edi, J., Viso, A., Bonelli, E., Uustalu T., European Regional Development Fund
    Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
    Enlace del recurso
    CONF
    Agregar a favoritos
    Guardado en:
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda — Guardar Búsqueda

Refine su búsqueda

Universidad de Buenos Aires 2
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) 2
CONF 1
Bonelli, E. 1 Edi, J. 1 European Regional Development Fund 1 Uustalu T. 1 Viso, A. 1

Opciones de búsqueda

  • Historial de Búsqueda
  • Búsqueda Avanzada

Buscar Más

  • Revisar el Catálogo
  • Explorar canales
  • Tour (beta)

¿Necesita Ayuda?

  • Consejos de búsqueda
  • Preguntas Frecuentes
  • Contacte al adminstrador
Cargando...