http://pleiad.cl/ 2026-08-05T13:45:37+00:00 http://pleiad.cl/ http://pleiad.cl/lib/tpl/pleiad2/images/favicon.ico text/html 2026-08-04T18:08:09+00:00 jfabry (jfabry@undisclosed.example.com) http://pleiad.cl/people/jfabry Prof. Dr. Johan Fabry [Johan Fabry] @johanfabry on Twitter dcc.uchile.cl@jfabry (if you swap sides) Part-Time Professor PLEIAD lab Computer Science Department (DCC) University of Chile Affiliation Since january 2024 I rejoined the Universidad de Chile, after a 7-year absence. I am now a part-time professor, this page has not been actively maintained since 2017. I keep it here as an archive of my antics when I was a full-time professor. text/html 2026-08-04T18:03:32+00:00 jfabry (jfabry@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 * Johan Fabry, Part-time 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-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