Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
courses:pfl080-en [2007/04/01 22:43] ufal PFL080 anglicky |
courses:pfl080-en [2007/11/14 00:16] (current) smrz |
||
---|---|---|---|
Line 1: | Line 1: | ||
~~NOTOC~~ | ~~NOTOC~~ | ||
- | ====== | + | |
+ | ====== PFL080 Haskell and Domain-Specific Languages ====== | ||
[[pfl080|Česká verze]] | [[pfl080|Česká verze]] | ||
- | ^ Lecturer | Mgr. Otakar Smrž | | + | ^ Lecturer | Otakar Smrž, Ph.D. | |
- | ^ Extent | + | ^ Extent |
- | ^ Validity | from WT 2007 | + | ^ Validity | from WT 2007 |
+ | |||
+ | |||
+ | |||
+ | ===== Proceedings ===== | ||
+ | |||
+ | [[pfl080|Follow this link for the updated information on this course.]] | ||
+ | |||
===== Annotation ===== | ===== Annotation ===== | ||
Line 14: | Line 23: | ||
The lecture will be devoted to the characteristic features of the language, and we will meet them applied in the context of domain-specific languages. In the seminar, students will discuss their understanding of selected research papers. | The lecture will be devoted to the characteristic features of the language, and we will meet them applied in the context of domain-specific languages. In the seminar, students will discuss their understanding of selected research papers. | ||
+ | |||
Line 21: | Line 31: | ||
* Paul Hudak. 2000. //The Haskell School of Expression: Learning Functional Programming through Multimedia// | * Paul Hudak. 2000. //The Haskell School of Expression: Learning Functional Programming through Multimedia// | ||
* Paul Hudak, John Peterson, Joseph Fasel. 2000. // | * Paul Hudak, John Peterson, Joseph Fasel. 2000. // | ||
- | * John Hughes. // | + | * John Hughes. 1984. // |
* Richard A. Frost. 2006. // | * Richard A. Frost. 2006. // | ||
Line 39: | Line 49: | ||
- Related theoretical issues | - Related theoretical issues | ||
- Useful tools for the programmer | - Useful tools for the programmer | ||
+ | |||
===== Links ===== | ===== Links ===== | ||
- | [[http:// | + | [[http:// |
[[http:// | [[http:// | ||
Line 49: | Line 60: | ||
[[http:// | [[http:// | ||
- | [[http://www.mff.cuni.cz/vnitro/ | + | [[http://is.cuni.cz/studium/predmety/index.php?do=predmet& |