[ Skip to the content ]

Institute of Formal and Applied Linguistics Wiki

[ Back to the navigation ]

You are here: start » courses » pfl080-en

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision 		Previous revision
Next revision Both sides next revision
courses:pfl080-en [2007/03/30 20:00]
ufal 		courses:pfl080-en [2007/05/17 20:57]
ufal
Line 13: Line 13:
 [[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 22:
   * 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 43: Line 44:
 ===== 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://ufal.mff.cuni.cz/~smrz/FunnyThing/impressive-haskell.pdf|"Impressive Haskell" by Otakar Smrž]]
  
 [[http://www.mff.cuni.cz/vnitro/is/sis/predmety/kod.php?kod=PFL080|Student's Information System]] [[http://www.mff.cuni.cz/vnitro/is/sis/predmety/kod.php?kod=PFL080|Student's Information System]]
  

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