Diferencia entre revisiones de «Paradigmas de Lenguajes de Programación»
De Cuba-Wiki
(Nueva versión apunte mnpanic (1.2)) |
|||
(No se muestran 103 ediciones intermedias de 43 usuarios) | |||
Línea 1: | Línea 1: | ||
{{ | {{Plan 1993 | Paradigmas de Programación}} | ||
'''Paradigmas de Lenguajes de Programación''' pertenece al area de | '''Paradigmas de Lenguajes de Programación''' pertenece al area de Teoría y, según el [[Plan de la Carrera]] es una materia a ser cursada en [[Plan de la Carrera#Cuarto año|Cuarto año]]. Se necesita [[Lógica y Computabilidad]] para cursarla y es correlativa de [[Ingeniería de Software II]]. | ||
==Programa== | |||
Los temas a cubrir en la materia son: | |||
* Inducción y Recursión | |||
* Programación Funcional | |||
* Sistemas de Tipos | |||
* Semántica Operacional | |||
* Revisión del Paradigma Imperativo | |||
* Programación Lógica | |||
* Programación Orientada a Objetos | |||
==Prácticas== | ==Prácticas== | ||
[https://github.com/Gian150/plp-Verano Soluciones de la prácticas Verano 2018] | |||
* [[Práctica 0 (Paradigmas)|Práctica 0 - Pre Practica Funcional]] | * [[Práctica 0 (Paradigmas)|Práctica 0 - Pre Practica Funcional]] | ||
* [[Práctica 1 (Paradigmas)|Práctica 1 - Funcional]] | * [[Práctica 1 (Paradigmas)|Práctica 1 - Funcional]] | ||
* [[Práctica 2 (Paradigmas)|Práctica 2 - Calculo Lambda Tipado]] | * [[Práctica 2 (Paradigmas)|Práctica 2 - Calculo Lambda Tipado]] | ||
* [[Práctica 3 (Paradigmas)|Práctica 3 - Inferencia de TIpos]] | * [[Práctica 3 (Paradigmas)|Práctica 3 - Inferencia de TIpos]] | ||
* [[Práctica 4 (Paradigmas)|Práctica 4 - Subtipado]] | |||
* [[Práctica 5 (Paradigmas)|Práctica 5 - POO]] | |||
* [[Práctica 4 (Paradigmas)|Práctica 4 - | * [[Práctica 6 (Paradigmas)|Práctica 6 - Resolución]] | ||
* [[Práctica 5 (Paradigmas)|Práctica 5 - | * [[Práctica 7 (Paradigmas)|Práctica 7 - Programacion Logica]] | ||
* [[Práctica 6 (Paradigmas)|Práctica 6 - | |||
* [[Práctica 7 (Paradigmas)|Práctica 7 | |||
==Apuntes== | ==Apuntes== | ||
==== | ===Práctica=== | ||
*[[ | ====Cálculo Lambda==== | ||
*[[Medio:PLP_apunte_calculoSigma.pdf|Machete Cálculo Lambda (imprimible)]] | |||
====Prolog==== | ====Prolog==== | ||
*[http://www.cse.iitb.ac.in/~cs206/lecs/lec24.pdf Explicacion del arbol de busqueda de Prolog] | *[http://www.cse.iitb.ac.in/~cs206/lecs/lec24.pdf Explicacion del arbol de busqueda de Prolog] | ||
*[https://www.cse.iitb.ac.in/~cs206/lecs/lec17.pdf Explicacion Cut y Not en prolog. Desde la pagina 12] | |||
*[[Lógica: Funciones Varias (Paradigmas)|Funciones Varias de Prolog]] | *[[Lógica: Funciones Varias (Paradigmas)|Funciones Varias de Prolog]] | ||
*[[Lógica: Uso de operadores (Paradigmas)|Tips de uso de operadores en Prolog]] | *[[Lógica: Uso de operadores (Paradigmas)|Tips de uso de operadores en Prolog]] | ||
===Final=== | |||
*[[Media:PLP_apunte_mnpanic_v1.2.pdf|Apunte para el final (mnPanic, 2023)]] ([https://github.com/mnPanic/plp/tree/master/final Repositorio de fuentes]), tiene todo lo que está en las diapositivas + aclaraciones de las teóricas grabadas de Diego Garbervetsky (e interpretaciones personales) | |||
*[https://github.com/CubaWiki/PLP-resumen-iarcuschin Apunte para el final], tiene prácticamente todo lo que está en las teóricas, by Iván Arcuschin (2016) | *[https://github.com/CubaWiki/PLP-resumen-iarcuschin Apunte para el final], tiene prácticamente todo lo que está en las teóricas, by Iván Arcuschin (2016) | ||
*[[Media:plp-final.pdf| | *[[Media:plp-final-orales.pdf|Preguntas que suelen tomar cuando son finales orales]]. | ||
*[[ | *[https://docs.google.com/document/d/1o5P-UkgM4Eq9K6ESD9aSqnzXsrl9NAYivCugw4qGgME/edit?usp=sharing Finales y ejercicios teóricos resueltos (2020)]. Link a google docs, muy pesado para subir acá. | ||
*[[Media:plp-apuntes-verano2018.pdf|Apuntes Verano 2018]] | |||
== | ==Exámenes== | ||
====Primeros Parciales==== | ====Primeros Parciales==== | ||
* [[Medio:1c2023-1recu.pdf | Primer Recuperatorio del 1er Cuatrimestre de 2023 | (Enunciado) ]] | |||
* Primer Parcial del 1er cuatrimestre de 2023 [[Media:1erP-1erC2023-PLP-Consigna.pdf | (Enunciado) ]] [[Media:1erP-1erC2023-PLP-Resolucion.pdf | (Solución) ]] | |||
* [[Medio:PLP_1recu_06-12-2022.pdf | Primer Recuperatorio del 2do Cuatrimestre de 2022]] | |||
* [[Medio:PLP_1parcial_11-10-2022.pdf | Primer Parcial del 2do Cuatrimestre de 2022]] | |||
* [[Medio:PLP_1recu_12-07-22.pdf | Primer Recuperatorio del 1er Cuatrimestre de 2022]] | |||
* [[Medio:PLP_1parcial_24-05-22.pdf | Primer Parcial del 1er Cuatrimestre de 2022]] | |||
* [[Medio:2021_2c_1r.pdf | Primer Recuperatorio del 2do Cuatrimestre de 2021]] | |||
* [[Medio:2021_2c_1p.pdf | Primer Parcial del 2do Cuatrimestre de 2021]] | |||
* [[Medio:PLP_1parcial_2019_2c.pdf | Primer Parcial del 2do Cuatrimestre de 2019 (resuelto)]] | |||
* Primer Recuperatorio del 1er Cuatrimestre 2019 [[Medio:PLP 1recu 10-07-19 enunciado.pdf|(enunciado)]] | |||
* [[Media:PLP_1parcial_2019_1c.pdf | Primer Parcial del 1er Cuatrimestre del 2019 (resuelto)]] | |||
* [[Media:PLP_1parcial_2019_v.pdf | Primer Parcial de Verano 2019 (casi resuelto)]] | |||
* [[Media:PLP_1parcial_2018_2c.pdf | Primer Parcial del 2do Cuatrimestre del 2018 ]]([[Media:PLP_1parcial_2018_2c_solucion.pdf |Solución]]) | |||
* [[Primer Parcial 1er Cuat 2016 (Paradigmas)|Primer Parcial del 1er Cuatrimestre de 2016]] | * [[Primer Parcial 1er Cuat 2016 (Paradigmas)|Primer Parcial del 1er Cuatrimestre de 2016]] | ||
* Primer Parcial - | * Primer Parcial - 2do cuatrimestre de 2015 [[Media:Plp_2015_2c_1p.pdf | (Enunciado pdf) ]] (Soluciones: [[Media:PLP_1parcial_2015_2c_solucion_ej1.jpg | 1 ]], [[Media:PLP_1parcial_2015_2c_solucion_ej2_a.jpg | 2 a.]], [[Media:PLP_1parcial_2015_2c_solucion_ej2_b_y_c.jpg | 2 b. y c.]], [[Media:PLP_1parcial_2015_2c_solucion_ej3.pdf | 3]]) | ||
* Primer Parcial - | |||
* Primer Parcial - | * Primer Parcial - 1er cuatrimestre de 2015 [[Media:Plp_2015_1c_1p.pdf | (Enunciado pdf) ]] [[Media:PLP_1parcial_2015_1c_solucion_ej1.jpg | (Solución ejercicio 1) ]] | ||
* Primer Parcial - | * Primer Parcial - 2do cuatrimestre de 2014 [[Media:Plp_2014_2c_1p.pdf | (Enunciado pdf) ]] | ||
* Primer Parcial - 1er cuatrimestre de 2014 [[Media:Plp_2014_1c_1p.pdf | (Enunciado pdf) ]] | |||
* [[Primer Parcial 2do Cuat 2008 (Paradigmas)|Primer Parcial del 2do Cuatrimestre de 2008]] | * [[Primer Parcial 2do Cuat 2008 (Paradigmas)|Primer Parcial del 2do Cuatrimestre de 2008]] | ||
* [[Primer Parcial 1er Cuat 2008 (Paradigmas)|Primer Parcial del 1er Cuatrimestre de 2008]] | * [[Primer Parcial 1er Cuat 2008 (Paradigmas)|Primer Parcial del 1er Cuatrimestre de 2008]] | ||
====Segundos Parciales==== | ====Segundos Parciales==== | ||
* [[Medio:R2P1C2023E.pdf | Segundo Recuperatorio del 1er Cuatrimestre de 2023 (Enunciado)]][[Media:R2P1C2023.pdf | (Resolucion) ]] | |||
* [[Medio:2doP-PLP.pdf | Segundo Parcial del 1er Cuatrimestre de 2023 (Resuelto)]] | |||
* [[Medio:Plp recu 2do parcial 2do 2023.pdf| Recuperatorio Segundo Parcial del 2do Cuatrimestre de 2022]] | |||
* [[Medio:PLP_2parcial_29-11-2022.pdf | Segundo Parcial del 2do Cuatrimestre de 2022]] | |||
* [[Medio:PLP_2recu_19-07-22.pdf | Segundo Recuperatorio del 1er Cuatrimestre de 2022]] | |||
* [[Medio:2doparcialPLP1c2022.jpg | Segundo Parcial del 1er Cuatrimestre de 2022]] [[Segundo Parcial del 1er Cuatrimestre de 2022| (Semi-resuelto)]] | |||
* [[Medio:2021_2c_2p.pdf | Segundo Parcial del 2do Cuatrimestre de 2021]] | |||
* [[Medio:2021_2c_2r.pdf | Segundo Recuperatorio del 2do Cuatrimestre de 2021]] | |||
* Segundo Recuperatorio del 1er Cuatrimestre 2019 [[Medio:PLP 2recu 16-07-19 enunciado.pdf|(enunciado)]] | |||
* Segundo Parcial del 1er Cuatrimestre 2019 [[Medio:PLP 2parcial 29-06-19 enun.pdf|(enunciado)]] [[Medio:PLP 2parcial 29-06-19 resolucion.pdf|(resolución)]] | |||
* [[Medio:PLP_2parcial_13-03-19.pdf|Segundo Parcial del Verano 2019]] ([[Medio:PLP_2parcial_13-03-19_resolucion.pdf|Resolución parte práctica]]) | |||
* [[Medio:PLP_2parcial_2cuatri-2018.pdf|Segundo Parcial del 2do Cuatrimestre de 2018]] ([[Medio:PLP_2parcial_2cuatri-2018_resolucion.pdf|Semi-resolución]]) '''ATENCIÓN''': Nota sobre el ejercicio 1 (29/11/2020): La cátedra considera que el ejercicio no está bien definido y no es representativo del tipo de ejercicios que se suelen tomar en la materia. En otras palabras, ignoren ese ejercicio si están estudiando para el parcial. | |||
* [[Medio:PLP_2parcial_1cuatri-2018.pdf|Segundo Parcial del 1er Cuatrimestre de 2018]] ([[Medio:PLP_2parcial_1cuatri-2018_resolucion.pdf|Resolución]]) | |||
* Segundo Parcial del 2do Cuatrimestre de 2017 ([[Medio:PLP 2017 2C 2P.pdf| 1, 2 y 4 resueltos]]) | |||
* [[Segundo Parcial 1er Cuat 2016 (Paradigmas)|Segundo Parcial del 1er Cuatrimestre de 2016]] | * [[Segundo Parcial 1er Cuat 2016 (Paradigmas)|Segundo Parcial del 1er Cuatrimestre de 2016]] | ||
* [[Segundo Parcial 2do Cuat 2009 (Paradigmas)|Segundo Parcial del 2do Cuatrimestre de 2009]] | * [[Segundo Parcial 2do Cuat 2009 (Paradigmas)|Segundo Parcial del 2do Cuatrimestre de 2009]] | ||
====Finales==== | ====Finales==== | ||
* [[Final 22/12/2023 (Paradigmas) | Final del 22 de diciembre de 2023 (Barenbaum)]] | |||
* [[Final 14/12/2023 (Paradigmas) | Final del 14 de diciembre de 2023 (Melgratti)]] | |||
* [[Final 19/11/2023 (Paradigmas) | Final del 19 de noviembre de 2023 (Melgratti)]] | |||
* [[Final 25/10/2023 (Paradigmas) | Final del 25 de octubre de 2023 (Melgratti)]] | |||
* [[Final 02/08/2023 (Paradigmas) | Final del 02 de agosto de 2023 (Melgratti)]] | |||
* [[Final 25/07/2023 (Paradigmas) | Final del 25 de julio de 2023 (Melgratti)]] | |||
* [[Final 05/05/2023 (Paradigmas) | Final del 05 de mayo de 2023 (Melgratti)]] | |||
* [[Final 08/03/2023 (Paradigmas) | Final del 08 de marzo de 2023 (Melgratti)]] | |||
* [[Final 23/02/2023 (Paradigmas) | Final del 23 de febrero de 2023 (Melgratti)]] | |||
* [[Final 17/11/2022 (Paradigmas) | Final del 17 de noviembre de 2022 (Virtual, Oral) (Melgratti)]] | |||
* [[Final 03/08/2022 (Paradigmas) | Final del 03 de agosto de 2022 (Virtual, Oral) (Melgratti)]] | |||
* [[Final 28/04/2022 (Paradigmas) | Final del 28 de abril de 2022 (Virtual, Oral) (Melgratti)]] | |||
* [[Final 03/03/2022 (Paradigmas) | Final del 3 de marzo de 2022 (Virtual, Oral) (Melgratti)]] | |||
* [[Final 11/08/2021 (Paradigmas) | Final del 11 de agosto de 2021 (Virtual) (Garbervetsky)]] | |||
* [[Media:PLP_final_18-02-2021.pdf | Final del 18 de febrero de 2021 (Virtual) (Melgratti)]] | |||
* [[Final 27/10/2020 (Paradigmas) | Final del 27 de octubre de 2020 (Virtual) (Rios)]] | |||
* [[Final 28/09/2020 (Paradigmas) | Final del 28 de septiembre de 2020 (Virtual) (Melgratti/Garbervetsky)]] | |||
* [[Final 03/08/2020 (Paradigmas) | Final del 3 de agosto de 2020 (Virtual) (Melgratti/Garbervetsky)]] | |||
* [[Final 13/07/2020 (Paradigmas) | Final del 13 de julio de 2020 (Virtual) (Melgratti/Garbervetsky)]] | |||
* [[Final 18/09/2019 (Paradigmas)|Final del 18 de septiembre de 2019 (Melgratti)]] | |||
* [[Media:PLP_final_19-12-18.pdf|Final del 19 de diciembre de 2018 (Melgratti)]] ([[Media:PLP_resolucion-final_19-12-18.pdf|Resolución]]) | |||
* [[Final 21/06/2018 (Paradigmas)|Final del 21 de junio de 2018 (Rios)]] | |||
* [[Final 19/09/2017 (Paradigmas)|Final del 19 de septiembre de 2017 (Melgratti)]] | * [[Final 19/09/2017 (Paradigmas)|Final del 19 de septiembre de 2017 (Melgratti)]] | ||
* [[Final 08/08/2017 (Paradigmas)|Final del 08 de agosto de 2017 (Garbervetsky)]] | * [[Final 08/08/2017 (Paradigmas)|Final del 08 de agosto de 2017 (Garbervetsky)]] | ||
Línea 90: | Línea 114: | ||
* [[Final 18/05/2017 (Paradigmas)|Final del 18 de mayo de 2017 (Melgratti)]] | * [[Final 18/05/2017 (Paradigmas)|Final del 18 de mayo de 2017 (Melgratti)]] | ||
* [[Final 09/03/2017 (Paradigmas)|Final del 9 de marzo de 2017 (Melgratti)]] | * [[Final 09/03/2017 (Paradigmas)|Final del 9 de marzo de 2017 (Melgratti)]] | ||
* [[Final 13/12/2016 (Paradigmas)|Final del 13 de | * [[Final 13/12/2016 (Paradigmas)|Final del 13 de diciembre de 2016 (Melgratti)]] | ||
* [[Final 07/03/2016 (Paradigmas)|Final del 07 de Marzo de 2016 (Melgratti)]] | * [[Final 07/03/2016 (Paradigmas)|Final del 07 de Marzo de 2016 (Melgratti)]] | ||
* [[Final 26/03/2016 (Paradigmas)| | * [[Final 26/03/2016 (Paradigmas)|Final del 26 de marzo de 2016 (Melgratti)]] | ||
* [[Media:final_plp_22dic2014_resuelto.pdf|Final oral del 22 de | * [[Media:final_plp_22dic2014_resuelto.pdf|Final oral del 22 de diciembre de 2014, Version 1 (Bonelli)(Resuelto)]] | ||
* [[Final 22/12/2014 (Paradigmas)|Final oral del 22 de | * [[Final 22/12/2014 (Paradigmas)|Final oral del 22 de diciembre de 2014, Version 2 (Bonelli)(Resuelto)]] | ||
* [[Media:Main.pdf|Final del 22 de Julio de 2014]], [[Media:Plp_final_22_07_14_resuelto.pdf|resuelto]] | * [[Media:Main.pdf|Final del 22 de Julio de 2014]], [[Media:Plp_final_22_07_14_resuelto.pdf|resuelto]] | ||
* [[Final 12/09/2013 (Paradigmas)|Final oral del 12 de Setiembre de 2013 | * [[Final 12/09/2013 (Paradigmas)|Final oral del 12 de Setiembre de 2013 (Melgratti)]] | ||
* [[Final 28/12/2009 (Paradigmas)|Final del 28 de diciembre de 2009]] | |||
* [[Final 28/12/2009 (Paradigmas)|Final del 28 de | * [[Final 24/02/2009 (Paradigmas)|Final del 24 de febrero de 2009]] | ||
* [[Final 14/10/2008 (Paradigmas)|Final del 14 de octubre de 2008]] | |||
* [[Final 24/02/2009 (Paradigmas)|Final del 24 de | * [[Final 20/12/2007 (Paradigmas)|Final del 20 de diciembre de 2007]] | ||
* [[Final 14/10/2008 (Paradigmas)|Final del 14 de | |||
* [[Final 20/12/2007 (Paradigmas)|Final del 20 de | |||
== Enlaces externos == | == Enlaces externos == | ||
*[http://haskell.org/ghc/docs/latest/html/libraries/index.html Referencia de todos los modulos de Haskell] | *[http://haskell.org/ghc/docs/latest/html/libraries/index.html Referencia de todos los modulos de Haskell] | ||
*[ | * Artículo muy interesante que explica "fix" y como se llega a la formulación del operador de punto fijo [https://mvanier.livejournal.com/2897.html] | ||
Revisión actual - 21:19 10 jul 2024
Esta página es sobre la materia del plan de estudios 1993. Para ver la materia del plan 2023, consultar Paradigmas de Programación.
Paradigmas de Lenguajes de Programación pertenece al area de Teoría y, según el Plan de la Carrera es una materia a ser cursada en Cuarto año. Se necesita Lógica y Computabilidad para cursarla y es correlativa de Ingeniería de Software II.
Programa
Los temas a cubrir en la materia son:
- Inducción y Recursión
- Programación Funcional
- Sistemas de Tipos
- Semántica Operacional
- Revisión del Paradigma Imperativo
- Programación Lógica
- Programación Orientada a Objetos
Prácticas
Soluciones de la prácticas Verano 2018
- Práctica 0 - Pre Practica Funcional
- Práctica 1 - Funcional
- Práctica 2 - Calculo Lambda Tipado
- Práctica 3 - Inferencia de TIpos
- Práctica 4 - Subtipado
- Práctica 5 - POO
- Práctica 6 - Resolución
- Práctica 7 - Programacion Logica
Apuntes
Práctica
Cálculo Lambda
Prolog
- Explicacion del arbol de busqueda de Prolog
- Explicacion Cut y Not en prolog. Desde la pagina 12
- Funciones Varias de Prolog
- Tips de uso de operadores en Prolog
Final
- Apunte para el final (mnPanic, 2023) (Repositorio de fuentes), tiene todo lo que está en las diapositivas + aclaraciones de las teóricas grabadas de Diego Garbervetsky (e interpretaciones personales)
- Apunte para el final, tiene prácticamente todo lo que está en las teóricas, by Iván Arcuschin (2016)
- Preguntas que suelen tomar cuando son finales orales.
- Finales y ejercicios teóricos resueltos (2020). Link a google docs, muy pesado para subir acá.
- Apuntes Verano 2018
Exámenes
Primeros Parciales
- Primer Recuperatorio del 1er Cuatrimestre de 2023 | (Enunciado)
- Primer Parcial del 1er cuatrimestre de 2023 (Enunciado) (Solución)
- Primer Recuperatorio del 2do Cuatrimestre de 2022
- Primer Parcial del 2do Cuatrimestre de 2022
- Primer Recuperatorio del 1er Cuatrimestre de 2022
- Primer Parcial del 1er Cuatrimestre de 2022
- Primer Recuperatorio del 2do Cuatrimestre de 2021
- Primer Parcial del 2do Cuatrimestre de 2021
- Primer Parcial del 2do Cuatrimestre de 2019 (resuelto)
- Primer Recuperatorio del 1er Cuatrimestre 2019 (enunciado)
- Primer Parcial del 1er Cuatrimestre del 2019 (resuelto)
- Primer Parcial de Verano 2019 (casi resuelto)
- Primer Parcial del 2do Cuatrimestre del 2018 (Solución)
- Primer Parcial del 1er Cuatrimestre de 2016
- Primer Parcial - 2do cuatrimestre de 2015 (Enunciado pdf) (Soluciones: 1 , 2 a., 2 b. y c., 3)
- Primer Parcial - 1er cuatrimestre de 2015 (Enunciado pdf) (Solución ejercicio 1)
- Primer Parcial - 2do cuatrimestre de 2014 (Enunciado pdf)
- Primer Parcial - 1er cuatrimestre de 2014 (Enunciado pdf)
- Primer Parcial del 2do Cuatrimestre de 2008
- Primer Parcial del 1er Cuatrimestre de 2008
Segundos Parciales
- Segundo Recuperatorio del 1er Cuatrimestre de 2023 (Enunciado) (Resolucion)
- Segundo Parcial del 1er Cuatrimestre de 2023 (Resuelto)
- Recuperatorio Segundo Parcial del 2do Cuatrimestre de 2022
- Segundo Parcial del 2do Cuatrimestre de 2022
- Segundo Recuperatorio del 1er Cuatrimestre de 2022
- Segundo Parcial del 1er Cuatrimestre de 2022 (Semi-resuelto)
- Segundo Parcial del 2do Cuatrimestre de 2021
- Segundo Recuperatorio del 2do Cuatrimestre de 2021
- Segundo Recuperatorio del 1er Cuatrimestre 2019 (enunciado)
- Segundo Parcial del 1er Cuatrimestre 2019 (enunciado) (resolución)
- Segundo Parcial del Verano 2019 (Resolución parte práctica)
- Segundo Parcial del 2do Cuatrimestre de 2018 (Semi-resolución) ATENCIÓN: Nota sobre el ejercicio 1 (29/11/2020): La cátedra considera que el ejercicio no está bien definido y no es representativo del tipo de ejercicios que se suelen tomar en la materia. En otras palabras, ignoren ese ejercicio si están estudiando para el parcial.
- Segundo Parcial del 1er Cuatrimestre de 2018 (Resolución)
- Segundo Parcial del 2do Cuatrimestre de 2017 ( 1, 2 y 4 resueltos)
- Segundo Parcial del 1er Cuatrimestre de 2016
- Segundo Parcial del 2do Cuatrimestre de 2009
Finales
- Final del 22 de diciembre de 2023 (Barenbaum)
- Final del 14 de diciembre de 2023 (Melgratti)
- Final del 19 de noviembre de 2023 (Melgratti)
- Final del 25 de octubre de 2023 (Melgratti)
- Final del 02 de agosto de 2023 (Melgratti)
- Final del 25 de julio de 2023 (Melgratti)
- Final del 05 de mayo de 2023 (Melgratti)
- Final del 08 de marzo de 2023 (Melgratti)
- Final del 23 de febrero de 2023 (Melgratti)
- Final del 17 de noviembre de 2022 (Virtual, Oral) (Melgratti)
- Final del 03 de agosto de 2022 (Virtual, Oral) (Melgratti)
- Final del 28 de abril de 2022 (Virtual, Oral) (Melgratti)
- Final del 3 de marzo de 2022 (Virtual, Oral) (Melgratti)
- Final del 11 de agosto de 2021 (Virtual) (Garbervetsky)
- Final del 18 de febrero de 2021 (Virtual) (Melgratti)
- Final del 27 de octubre de 2020 (Virtual) (Rios)
- Final del 28 de septiembre de 2020 (Virtual) (Melgratti/Garbervetsky)
- Final del 3 de agosto de 2020 (Virtual) (Melgratti/Garbervetsky)
- Final del 13 de julio de 2020 (Virtual) (Melgratti/Garbervetsky)
- Final del 18 de septiembre de 2019 (Melgratti)
- Final del 19 de diciembre de 2018 (Melgratti) (Resolución)
- Final del 21 de junio de 2018 (Rios)
- Final del 19 de septiembre de 2017 (Melgratti)
- Final del 08 de agosto de 2017 (Garbervetsky)
- Final del 01 de agosto de 2017 (Garbervetsky)
- Final del 18 de mayo de 2017 (Melgratti)
- Final del 9 de marzo de 2017 (Melgratti)
- Final del 13 de diciembre de 2016 (Melgratti)
- Final del 07 de Marzo de 2016 (Melgratti)
- Final del 26 de marzo de 2016 (Melgratti)
- Final oral del 22 de diciembre de 2014, Version 1 (Bonelli)(Resuelto)
- Final oral del 22 de diciembre de 2014, Version 2 (Bonelli)(Resuelto)
- Final del 22 de Julio de 2014, resuelto
- Final oral del 12 de Setiembre de 2013 (Melgratti)
- Final del 28 de diciembre de 2009
- Final del 24 de febrero de 2009
- Final del 14 de octubre de 2008
- Final del 20 de diciembre de 2007
Enlaces externos
- Referencia de todos los modulos de Haskell
- Artículo muy interesante que explica "fix" y como se llega a la formulación del operador de punto fijo [1]