Chequeo de tipos y Inferencia de Tipos

@ntonio

unread,

Jul 11, 2009, 10:21:36 AM7/11/09

to Comunidad Haskell San Simon

Hola a todos estoy buscando material para hacer inferencia de tipo y
chequeo de tipos, alguien me puede recomendar o compartir algún
articulo, enlace, ejemplos.

De antemano Gracias.

Juan Jose Olivera

unread,

Jul 11, 2009, 10:42:38 AM7/11/09

to hskg...@googlegroups.com

Par que paradigma(funcional, oo, procedural), si es oo si no me equivoco en lo que mando Americo hay cosas sobre Ocaml, te puedes sacar una copia del Libro de Luca Cardelli que tengo (Theory of Objects) pero es bastante complejo.

saludos

JJ

carlos gomez

unread,

Jul 11, 2009, 11:25:42 PM7/11/09

to hskg...@googlegroups.com

Si es algo de chequeo de tipos para compiladores podrias ver el material de Implementacion de Lenguajes de Programacion (Lecture Notes, Noverver 3, 2004), donde el capitulo 7 reviza lo que son Sistemas de Tipos.

2009/7/11 Juan Jose Olivera <jota.j...@gmail.com>

Reply all

Reply to author

Forward