Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Ciencias Informáticas
7
AUTOMATIC PROGRAM PRODUCTION
3
ESPECIALIZACION DE PROGRAMAS
3
ESPECIALIZACION DE TIPOS
3
ESPECIALIZACION PRINCIPAL DE TIPOS
3
POLYMORPHIC PROGRAMS
3
PRINCIPAL TYPE SPECIALISATION
3
PRODUCCION AUTOMATICA DE PROGRAMAS
3
PROGRAM SPECIALISATION
3
PROGRAMAS POLIMORFICOS
3
TYPE SPECIALISATION
3
Functional Programming
2
PROGRAMMING LANGUAGES
2
PROGRAMMING TECHNIQUES
2
Programación funcional
2
aplicaciones informáticas
2
Applicative (Functional) Programming
1
Automatic Programming
1
Combinatorial Optimization
1
Computación cuántica
1
Computação quântica
1
Concurrent Haskell
1
Concurrent Programming
1
Cálculo Lambda
1
Data types and structures
1
Lambda calculus
1
Lenguajes de programación
1
Linguagem de programação
1
Monads
1
Multi-parameter Type Classes
1
-
1por Badenes, HernánMaterias: “...Automatic Programming...”
Publicado 2003
Aportado por: SEDICI (UNLP)Tesis Tesis de grado -
2por Martínez López, Pablo E.Materias: “...PROGRAMMING TECHNIQUES...”
Publicado 1997
Aportado por: SEDICI (UNLP)Objeto de conferencia -
3por Krasnogor, Natalio, Martínez López, Pablo E., Mocciola, Pablo Andrés, Pelta, David AlejandroMaterias: “...Functional Programming...”
Publicado 1997
Aportado por: SEDICI (UNLP)Objeto de conferencia -
4
-
5por Pedemonte, Pablo J.Materias: “...Applicative (Functional) Programming...”
Publicado 2001
Aportado por: SEDICI (UNLP)Tesis Tesis de grado -
6
-
7
-
8por Martínez López, Pablo E.Materias: “...PROGRAM SPECIALISATION...”
Publicado 2005
Tesis doctoral publishedVersion -
9por Martínez López, Pablo E.Materias: “...PROGRAM SPECIALISATION...”
Publicado 2005
Tesis doctoral publishedVersion -
10
-
11Materias: “...Programming languajes...”
Aportado por: RIDAA - Repositorio Institucional Digital (UNQ)Proyecto de investigación info:eu-repo/semantics/other acceptedVersion