BIBCYT Titulo: Alejandría BE 7.0.7b0

Título: =Combining Type Classes and Existential Types

Sólo un registro cumplió la condición especificada en la base de información BIBCYT.

Autor:	Konstantin, Läufer
Título:	Combining Type Classes and Existential Types
Código:	R COM L34
Editorial:	Mexico McGraw-Hill , MEXICO
Páginas/Colación:	12 p., 28 cm.
Tipo de impresión:	Impreso

Idioma:	Español
Descriptor Temático:	COMPUTACIÓN--MATEMÁTICA, CONFERENCIA INTELIGENCIA ARTIFICIAL Y SISTEMAS EXPERTOS 431-454, LENGUAJES DE PROGRAMACION, PROGRAMACION ORIENTADA A OBJETOS (COMPUTACION)

Ejemplares

Idioma:

Español
Descriptor Temático:

COMPUTACIÓN--MATEMÁTICA,

CONFERENCIA INTELIGENCIA ARTIFICIAL Y SISTEMAS EXPERTOS 431-454,

LENGUAJES DE PROGRAMACION,

PROGRAMACION ORIENTADA A OBJETOS (COMPUTACION)

Nota

TABLA DE CONTENIDO

Introduction

Limitation of Functional and Object-Oriented Languages

Algebraic Data Types with Existential Quantification over Type Classes

Examples

Implementation

Conclusion and Related Work

References

Descrip.

RESUMEN

Abstraction

This paper desmonstrates that novel combination of type classes and existential types adds significant expressive power to a languages with static typing, parametric polymorphism, algebraic data types, and Hindley-Milner type inference. Since we hava examined the underlying type-theoretic issues already, this paper focuses on the practical aspects of our extension.

UCLA - Biblioteca de Ciencias y Tecnologia Felix Morales Bueno

Generados por el servidor 'bibcyt.ucla.edu.ve' (3.141.30.162)
Adaptive Server Anywhere (07.00.0000)
ODBC
Sesión="" Sesión anterior=""
ejecutando Back-end Alejandría BE 7.0.7b0 ** * *
3.141.30.162 (NTM) bajo el ambiente Apache/2.2.4 (Win32) PHP/5.2.2.
usando una conexión ODBC (RowCount) al manejador de bases de datos..
Versión de la base de información BIBCYT: 7.0.0 (con listas invertidas [2.0])

Cliente: 3.141.30.162
Salida con Javascript

** Back-end Alejandría BE 7.0.7b0 *