[ Skip to the content ]

Institute of Formal and Applied Linguistics Wiki

• ÚFAL Wiki Home
• ÚFAL Home
• Sitemap
• RSS
• ÚFAL calendar
• Recent changes
• Login
• Hledat:

[ Back to the navigation ]

Differences

This shows you the differences between two versions of the page.

View differences: Side by SideInline Go

Link to this comparison view

Both sides previous revision Previous revision 2007/11/14 00:16 smrz 2007/10/12 00:18 ufal 2007/09/25 18:35 smrz 2007/05/17 20:57 ufal 2007/04/01 22:45 ufal 2007/04/01 22:43 ufal PFL080 anglicky2007/03/30 22:34 ufal PFL080 anglicky2007/03/30 22:30 ufal 2007/03/30 20:05 ufal PFL080 anglicky2007/03/30 20:00 ufal 2007/03/30 14:59 ufal 2007/03/30 14:28 ufal 2007/03/30 14:26 ufal 2007/03/30 14:24 ufal 2007/03/30 14:23 ufal 2007/03/30 14:22 ufal vytvořeno Go Next revision		Previous revision 2007/11/14 00:16 smrz 2007/10/12 00:18 ufal 2007/09/25 18:35 smrz 2007/05/17 20:57 ufal 2007/04/01 22:45 ufal 2007/04/01 22:43 ufal PFL080 anglicky2007/03/30 22:34 ufal PFL080 anglicky2007/03/30 22:30 ufal 2007/03/30 20:05 ufal PFL080 anglicky2007/03/30 20:00 ufal 2007/03/30 14:59 ufal 2007/03/30 14:28 ufal 2007/03/30 14:26 ufal 2007/03/30 14:24 ufal 2007/03/30 14:23 ufal 2007/03/30 14:22 ufal vytvořeno Go
courses:pfl080-en [2007/03/30 20:00] ufal		courses:pfl080-en [2007/11/14 00:16] (current) smrz
Line 1:		Line 1:
	~~NOTOC~~		~~NOTOC~~
-	====== [draft] PFL080 Haskell and Domain-Specific Languages ======	+
		+	====== PFL080 Haskell and Domain-Specific Languages ======
	[[pfl080|Česká verze]]		[[pfl080|Česká verze]]
-	^ Lecturer | Mgr. Otakar Smrž |	+	^ Lecturer | Otakar Smrž, Ph.D. |
-	^ Extent   | 2/1 C+Ex         |	+	^ Extent   | 2/1 C+Ex           |
-	^ Validity | from WT 2007     |	+	^ Validity | from WT 2007       |
		+
		+
		+
		+	===== Proceedings =====
		+
		+	[[pfl080|Follow this link for the updated information on this course.]]
		+
	===== Annotation =====		===== Annotation =====
Line 13:		Line 22:
	[[http://www.haskell.org/|Haskell]] is a purely functional programming language. Its study invites to exploring the connections between various areas of computer science, logic, and linguistics. Haskell is also a modern means for describing the solutions of general problems in a precise, yet concise and comrehensible way.		[[http://www.haskell.org/|Haskell]] is a purely functional programming language. Its study invites to exploring the connections between various areas of computer science, logic, and linguistics. Haskell is also a modern means for describing the solutions of general problems in a precise, yet concise and comrehensible way.
-	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 present and discuss 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//. Cambridge University Press.		* Paul Hudak. 2000. //The Haskell School of Expression: Learning Functional Programming through Multimedia//. Cambridge University Press.
	* Paul Hudak, John Peterson, Joseph Fasel. 2000. //[[http://www.haskell.org/tutorial/|A Gentle Introduction to Haskell]]//.		* Paul Hudak, John Peterson, Joseph Fasel. 2000. //[[http://www.haskell.org/tutorial/|A Gentle Introduction to Haskell]]//.
-	* John Hughes. //[[http://www.cs.chalmers.se/~rjmh/Papers/whyfp.html|Why Functional Programming Matters]]//.	+	* John Hughes. 1984. //[[http://www.cs.chalmers.se/~rjmh/Papers/whyfp.html|Why Functional Programming Matters]]//.
	* 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.
Line 39:		Line 49:
	- Related theoretical issues		- Related theoretical issues
	- Useful tools for the programmer		- Useful tools for the programmer
		+
	===== Links =====		===== Links =====
-	[[http://www.cis.upenn.edu/~bcpierce/courses/advprog/index.html|Advanced programming by B. C. Pierce]] -- free inspiration for this course	+	[[http://www.cis.upenn.edu/~bcpierce/courses/advprog/|Advanced Programming by Benjamin C. Pierce]] -- free inspiration for this course
	[[http://www.st.cs.uni-sb.de/edu/seminare/2005/advanced-fp/|Advanced Functional Programming at Saarbrücken]]		[[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|Student's Information System]]	+	[[http://ufal.mff.cuni.cz/~smrz/FunnyThing/impressive-haskell.pdf|"Impressive Haskell" by Otakar Smrž]]
		+
		+	[[http://is.cuni.cz/studium/predmety/index.php?do=predmet&kod=NPFL080|University Information System]]

---

[ Back to the navigation ] [ Back to the content ]