A problem has been found
A problem has ocurred in the communication with the server.
Please, try again later. If the problem persists, contact the admin
Home
Repositories
Authors
Document types
Statistics
About
Query
Advanced Search
Simple Search
Title
Author
Subject
Year
Refine your Search
Repository
37
(145)
Show More
Show Less
Author
Aguirre, Jorge
(14)
Arroyo, Marcelo
(13)
Riesco, Daniel Eduardo
(9)
Montejano, Germán Antonio
(8)
Bavera, Francisco
(7)
Falappa, Marcelo Alejandro
(7)
Cobo, María Laura
(6)
De Giusti, Armando Eduardo
(5)
García, Alejandro Javier
(5)
Medel, Ricardo
(5)
Show More
Show Less
Subject
Languages
(145)
Ciencias Informáticas
(142)
SOFTWARE ENGINEERING
(19)
informática
(17)
ARTIFICIAL INTELLIGENCE
(13)
Software
(12)
educación
(12)
Intelligent agents
(8)
Algorithms
(7)
base de datos
(7)
Show More
Show Less
Year
2012
(114)
2002
(18)
2003
(17)
2006
(14)
2011
(13)
1997
(12)
2004
(10)
2005
(10)
2015
(10)
2001
(7)
Show More
Show Less
Document Type
Sin Especificar
(124)
Tesis
(17)
Artículo
(3)
Libro
(1)
Show More
Show Less
Language
Español
(108)
Inglés
(31)
Portugués
(6)
Show More
Show Less
Your search
Subject:
Functional Programming Languages
Subject:
Languages
Repository:
37
Sort by
Score
Title
Year
-
1-10 from
145
results
(0.015 seconds)
Title:
Typing polymorphic recursion
Author:
Figueiredo, Lucília Camarão de
/
Camarão, Carlos
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Languages
/
informática
/
Polymorphism
/
Programming languages
/
Type inference
Acceder
Title:
LaST: Language Study Tool
Author:
Molinari, Enrique
/
Lindner, Edgard
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Languages
/
tecnología
/
Semantics
/
educación
/
Computer science education
/
informática
/
computer education technology
/
programming language semantics
/
teaching programming languages
Acceder
Title:
Implementing a typed assembly language and its machine model
Author:
Medel, Ricardo
/
Lucotte, Matthieu
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Languages
/
Programming languages
/
type systems
/
typed assembly languages
/
compilers
/
resources awareness
Acceder
Title:
An extension to EMTPL
Author:
Cobo, María Laura
/
Falappa, Marcelo Alejandro
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Programming Languages
/
Metric Temporal Logic
/
Deductive Databases
/
Negation
/
base de datos
/
Languages
/
Metrics
/
SOFTWARE ENGINEERING
Acceder
Title:
Evolución de un curso inicial de programación a un enfoque multiparadigma: análisis y resultados / Evolution of a Programming Initial Course to a Multi Paradigm approach. Analysis and Results
Author:
De Giusti, Laura Cristina
/
Sanz, Victoria María
/
De Giusti, Armando Eduardo
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Programación
/
Algoritmos
/
Taller de programación
/
Paradigmas
/
Lenguaje
/
Programming
/
Algorithms
/
Programming workshop
/
Paradigms
/
Languages
Acceder
Title:
Integrando UML y DSL en el enfoque MDA
Author:
Giulianelli, Daniel Alberto
/
Pons, Claudia
/
Rodríguez, Rocío Andrea
/
Vera, Pablo Martín
/
Fernández, Victor
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Modeling
/
Languages
/
MDA
/
UML
/
DSL
/
WAP
Acceder
Title:
Ambiente de desarrollo para lengua de señas basado en cloud
Author:
Rodríguez, Nelson R.
/
Valenzuela, Adriana
/
Chávez, Susana Beatriz
/
Martín, Adriana Elizabeth
/
Murazzo, María Antonia
/
Villafañe, Daniela A.
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
cloud computing
/
utility computing
/
Lenguaje de Signos
/
Languages
/
lengua de señas
/
Software
/
servicios web
/
SaaS
/
PaaS
Acceder
Title:
Tablero de métricas para procesos workflow en la nube
Author:
Peralta, Mario
/
Salgado, Carlos Humberto
/
Baigorria, Lorena
/
Montejano, Germán Antonio
/
Riesco, Daniel Eduardo
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
cloud computing
/
Workflow management
/
Languages
/
Models
Acceder
Title:
Incorporando Alloy en desarrollos basados en metodologías agiles
Author:
Bonino, María Belén
/
Garis, Ana Gabriela
/
Riesco, Daniel Eduardo
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Alloy
/
Languages
/
metodologías ágiles
/
Formal methods
Acceder
Title:
Avances en procesadores de lenguajes y proof-carrying code
Author:
Aguirre, Jorge
/
Medel, Ricardo
/
Arroyo, Marcelo
/
Florio, Nicolás
/
Bavera, Francisco
/
Caymes Scutari, Paola
/
Nordio, D.
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
procesadores de lenguajes
/
Languages
/
proof-carrying code
/
Theory of Computation
Acceder
« Previous
1
2
3
4
5
6
7
8
9
Next »