[ Skip to the content ]

Institute of Formal and Applied Linguistics Wiki

[ Back to the navigation ]

You are here: start » courses » pfl080

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 [2007/10/25 14:56]
smrz 		courses:pfl080 [2007/11/28 13:46]
smrz
Line 10: Line 10:
 ^ Platnost   | od ZS 2007          | ^ Platnost   | od ZS 2007          |
 ^ Souřadnice | Čt 10:40--13:05 SU1 | ^ Souřadnice | Čt 10:40--13:05 SU1 |
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
  
  
Line 23: Line 33:
  
 25.10.2007    [[http://ufal.mff.cuni.cz/~smrz/HaskellDSL/haskell-dsl-03.pdf|"Haskell and XML" -- Type Classes -- Pretty-Printing]] 25.10.2007    [[http://ufal.mff.cuni.cz/~smrz/HaskellDSL/haskell-dsl-03.pdf|"Haskell and XML" -- Type Classes -- Pretty-Printing]]
 +
 +01.11.2007    [[http://ufal.mff.cuni.cz/~smrz/HaskellDSL/haskell-dsl-04.pdf|"A Prettier Printer" -- Monads -- Parsing]]
 +
 +08.11.2007    [[http://ufal.mff.cuni.cz/~smrz/HaskellDSL/haskell-dsl-05.pdf|"Monadic Parsing in Haskell" -- Monad Laws -- Input/Output]]
 +
 +15.11.2007    [[http://ufal.mff.cuni.cz/~smrz/HaskellDSL/haskell-dsl-06.pdf|"Cabal" -- "Haddock" -- Functional Dependencies]]
 +
 +22.11.2007    [[http://ufal.mff.cuni.cz/~smrz/HaskellDSL/haskell-dsl-07.pdf|"Fun with FD" -- Curry-Howard Correspondence -- Existential Types]]
 +
 +29.11.2007    LECTURE CANCELLED
  
 ===== Anotace ===== ===== Anotace =====
Line 57: Line 77:
   - Související teoretické otázky   - Související teoretické otázky
   - Užitečné nástroje pro programátory   - Užitečné nástroje pro programátory
 +
  
  
Line 67: Line 88:
 [[http://ufal.mff.cuni.cz/~smrz/FunnyThing/impressive-haskell.pdf|"Impressive Haskell" by Otakar Smrž]] [[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|Studijní informační systém]]+[[http://is.cuni.cz/studium/predmety/index.php?do=predmet&kod=NPFL080|Studijní informační systém]]
  

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