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.
ABSTRACT MACHINES
3
CALCULO-λ
3
Ciencias Informáticas
3
ESTRATEGIAS DE EVALUACION
3
EVALUACION LAZY
3
EVALUATION STRATEGIES
3
EXPLICIT SUBSTITUTIONS
3
LAZY EVALUATION
3
MAQUINAS ABSTRACTAS
3
PROGRAMMING LANGUAGE SEMANTICS
3
RESIDUAL THEORY
3
SEMANTICA DE LENGUAJES DE PROGRAMACION
3
SISTEMA DE TIPOS
3
SUSTITUCIONES EXPLICITAS
3
TEORIA DE RESIDUOS
3
TYPE SYSTEMS
3
λ-CALCULUS
3
Abstract machine
2
Algebra
2
Algorithms
2
Assumptions
2
Chemical Abstract Machine model
2
Component-based systems
2
Computer programming
2
Computer programming languages
2
Computer software
2
Design
2
Functional programming
2
Polynomial equation solver
2
Polynomials
2
-
1
-
2
-
3por Bonelli, EduardoMaterias: “...Abstract Machine...”
Publicado 2006
Aportado por: SEDICI (UNLP)Articulo -
4Materias: “...Chemical Abstract Machine model...”
JOUR -
5Publicado 2000Materias: “...Chemical Abstract Machine model...”
-
6por Piccoli, María Fabiana, Printista, Alicia Marcela, Gonzalez, Jesús Alberto, León, Coromoto, Roda García, José Luis, Rodriguez, C., Sande, Francisco deMaterias: “...abstract machine...”
Publicado 2003
Aportado por: SEDICI (UNLP)Objeto de conferencia -
7
-
8por Barenbaum, PabloMaterias: “...ABSTRACT MACHINES...”
Publicado 2020
Tesis doctoral publishedVersion -
9por Barenbaum, PabloMaterias: “...ABSTRACT MACHINES...”
Publicado 2020
Tesis doctoral publishedVersion -
10Materias: “...Abstract machine...”
JOUR -
11