| Both sides previous revision
Previous revision
Next revision
|
Previous revision
Next revision
Both sides next revision
|
courses:pfl080 [2007/03/30 17:04]
ufal |
courses:pfl080 [2007/03/30 19:31]
ufal |
| * Richard A. Frost. 2006. //[[http://portal.acm.org/citation.cfm?id=1177353|Realization of Natural Language Interfaces Using Lazy Functional Programming]]//. ACM Computing Surveys, Volume 38, Issue 4. | * Richard A. Frost. 2006. //[[http://portal.acm.org/citation.cfm?id=1177353|Realization of Natural Language Interfaces Using Lazy Functional Programming]]//. ACM Computing Surveys, Volume 38, Issue 4. |
| * Peter Ljunglof. 2002. //[[http://www.ling.gu.se/~peb/pubs/p02-lic-thesis.pdf|Pure Functional Parsing. An Advanced Tutorial]]//. Licenciate thesis, Goteborg University & Chalmers University of Technology. | * Peter Ljunglof. 2002. //[[http://www.ling.gu.se/~peb/pubs/p02-lic-thesis.pdf|Pure Functional Parsing. An Advanced Tutorial]]//. Licenciate thesis, Goteborg University & Chalmers University of Technology. |
| * Philip Wadler. 2003. //A Prettier Printer//. In Jeremy Gibbons and Oege de Moor, editors, //The Fun of Programming//, Cornerstones of Computing, pages 223--243. Palgrave Macmillan, March 2003. | * Philip Wadler. 2003. //[[http://homepages.inf.ed.ac.uk/wadler/papers/prettier/prettier.pdf|A Prettier Printer]]//. In Jeremy Gibbons and Oege de Moor, editors, //The Fun of Programming//, Cornerstones of Computing, pages 223--243. Palgrave Macmillan, March 2003. |
| |
| |
| ===== Sylabus ===== | ===== Sylabus ===== |
| |
| - Funkce a datové typy | - Základní funkce a datové typy |
| - Rekurze, funkce vyššího řádu | - Výpočetní model a lambda kalkulus |
| | - Rekurze, abstrakce, funkce vyššího řádu |
| - Polymorfní typy versus třídy typů | - Polymorfní typy versus třídy typů |
| - Monády a jejich využití | - Monády různých druhů a jejich využití |
| - Parsing a pretty-printing | - Parsing a pretty-printing |
| - Doménově specifické jazyky | - Doménově specifické jazyky |
| - Doplňující otázky z programování | - Související teoretické otázky |
| | - Užitečné nástroje pro programátory |
| |
| |
| ===== Odkazy ===== | ===== Odkazy ===== |
| |
| [[http://www.cis.upenn.edu/~bcpierce/courses/advprog/index.html|Advanced programming by B. C. Pierce]] -- volná inspirace pro tento předmět | [[http://www.cis.upenn.edu/~bcpierce/courses/advprog/index.html|Advanced Programming by B. C. Pierce]] -- volná inspirace pro tento předmět |
| | |
| | [[http://www.st.cs.uni-sb.de/edu/seminare/2005/advanced-fp/|Advanced Functional Programming at Saarbrücken]] |
| |
| [[http://www.mff.cuni.cz/vnitro/is/sis/predmety/kod.php?kod=PFL080|Studijní informační systém]] | [[http://www.mff.cuni.cz/vnitro/is/sis/predmety/kod.php?kod=PFL080|Studijní informační systém]] |
| |
