2 de abril de 2011

λvec en QAPL 2011: los slides

Hace un par de horas dí la charla sobre el sistema de tipos vectorial que había anunciado aquí, aquí (explicación del paper) y aquí (updated (λvec)) en el QAPL 2011.

Dejo los slides aquí (más adelante los subiré a mi página web y cambiaré el link).