http://pleiad.cl/ 2026-07-29T08:18:16+00:00 http://pleiad.cl/ http://pleiad.cl/lib/tpl/pleiad2/images/favicon.ico text/html 2026-07-23T12:55:02+00:00 etanter (etanter@undisclosed.example.com) http://pleiad.cl/people Members * Nico Lehmann, Assistant Professor * Federico Olmedo, Assistant Professor * Éric Tanter, Full Professor * Matías Toro, Assistant Professor * Mara Malewski, PhD student * Damián Arquez, PhD student * Tomás Díaz, PhD student text/html 2026-07-23T12:54:16+00:00 etanter (etanter@undisclosed.example.com) http://pleiad.cl/start Welcome! The PLEIAD laboratory of the Computer Science Department (DCC) of the University of Chile (Faculty of Engineering) is a laboratory dedicated to foundational and applied research on software development techniques. Since its creation in 2007, the lab has focused on many ways to support the development of high-quality software at different levels, from programming languages to development environments. Currently, our work is mostly centered on  text/html 2026-07-23T12:53:57+00:00 etanter (etanter@undisclosed.example.com) http://pleiad.cl/people/etanter Full Professor / Profesor Titular <etanter@dcc.uchile.cl> University of Chile Beauchef 851, of.310 Computer Science Department (DCC) Santiago, Chile PLEIAD Lab phone: +56 2 2978 4953 Associate Researcher, IMFD Inria International Chair @ Gallinette News * accepted at TOPLAS * accepted at LICS 2026 * presented at POPL 2026 * I have been awarded an text/html 2026-07-03T20:08:07+00:00 bduarte (bduarte@undisclosed.example.com) http://pleiad.cl/teaching/cc4101/tareas/2026-1/tarea3 Tarea 3 (Entrega: 3 de Julio) Esta tarea se distribuye con un archivo zip () que contiene 3 archivos: main.rkt, tests.rkt y env.rkt. Los archivos están incompletos, y en ellos tiene que implementar lo que se solicita en las preguntas siguientes. text/html 2026-06-16T19:31:37+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3At3-init.zip&ns=teaching%3Acc4101%3Atareas%3A2026-1&do=media text/html 2026-05-12T14:44:00+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/teaching/cc4101/tareas/2026-1/tarea2/bonus << Volver Parte BONUS. Modificadores de with (1.0 pto) En el lenguaje SL, el único lugar donde se puede especificar una estrategia de evaluación es en la firma de una función anónima. Como hemos visto, las funciones anónimas también son en esencia la forma de introducir una variable local (recuerde como se puede considerar que text/html 2026-05-12T14:43:18+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/teaching/cc4101/tareas/2026-1/tarea2 Tarea 2 (Entrega: 2 de Junio) Estrategias de evaluación Como vieron en clases, los lenguajes de programación pueden tener distintas estrategias para evaluar los argumentos con los que se llama a una función. La gran mayoría de los lenguajes (C, Java, Python, JS, etc.) evalúan los argumentos de manera temprana ( text/html 2026-05-11T19:05:35+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/teaching/cc4101/tareas/2026-1/tarea2/parte1 << Volver Parte 1. Testing de efectos (2 ptos.) En esta sección van a implementar un mecanismo para hacer tests sobre efectos secundarios, en particular, sobre la impresión de caracteres (printing). La necesidad de testear efectos secundarios es muy recurrente en proyectos reales, existiendo distintas técnicas para abordarlo (p.ej. usando text/html 2026-05-11T07:45:55+00:00 bduarte (bduarte@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3Atarea2%3Atarea-2-init.zip&ns=teaching%3Acc4101%3Atareas%3A2026-1%3Atarea2&do=media text/html 2026-04-25T20:53:38+00:00 jromero (jromero@undisclosed.example.com) http://pleiad.cl/?image=research%3Asoftware%3Agrev%3Aartifact.zip&ns=research%3Asoftware%3Agrev&do=media text/html 2026-04-25T20:23:39+00:00 jromero (jromero@undisclosed.example.com) http://pleiad.cl/?image=research%3Asoftware%3Agrev%3Agrev-experiments.zip&ns=research%3Asoftware%3Agrev&do=media text/html 2026-04-25T20:17:27+00:00 jromero (jromero@undisclosed.example.com) http://pleiad.cl/?image=research%3Asoftware%3Agrev%3Agrev.zip&ns=research%3Asoftware%3Agrev&do=media text/html 2026-04-14T03:17:03+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3At1b%3Aenv.rkt&ns=teaching%3Acc4101%3Atareas%3A2026-1%3At1b&do=media text/html 2026-04-14T03:14:44+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3At1b%3Ap1-test.rkt&ns=teaching%3Acc4101%3Atareas%3A2026-1%3At1b&do=media text/html 2026-04-14T03:14:27+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3At1b%3Ap3.rkt&ns=teaching%3Acc4101%3Atareas%3A2026-1%3At1b&do=media text/html 2026-04-14T03:14:27+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3At1b%3Ap3-test.rkt&ns=teaching%3Acc4101%3Atareas%3A2026-1%3At1b&do=media text/html 2026-04-14T03:14:27+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3At1b%3Ap2-test.rkt&ns=teaching%3Acc4101%3Atareas%3A2026-1%3At1b&do=media text/html 2026-04-14T03:14:27+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3At1b%3Ap2.rkt&ns=teaching%3Acc4101%3Atareas%3A2026-1%3At1b&do=media text/html 2026-04-14T03:13:32+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3At1b%3Ap1.rkt&ns=teaching%3Acc4101%3Atareas%3A2026-1%3At1b&do=media text/html 2026-03-26T15:32:41+00:00 msegur (msegur@undisclosed.example.com) http://pleiad.cl/?image=teaching%3Acc4101%3Atareas%3A2026-1%3At1a.rkt&ns=teaching%3Acc4101%3Atareas%3A2026-1&do=media