[ Skip to the content ]

Institute of Formal and Applied Linguistics Wiki


[ Back to the navigation ]

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
Last revision Both sides next revision
courses:pfl080 [2007/12/10 15:34]
smrz
courses:pfl080 [2008/01/03 13:32]
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 45: Line 47:
 29.11.2007    LECTURE CANCELLED 29.11.2007    LECTURE CANCELLED
  
-06.12.2007    [[http://ufal.mff.cuni.cz/~smrz/HaskellDSL/haskell-dsl-07.pdf|"Proofs are Programs" -- Combinatory Categorial Grammar]]+06.12.2007    "Proofs are Programs" -- Combinatory Categorial Grammar 
 + 
 +13.12.2007    "Using Types to Parse Natural Language" -- Finite Maps -- Arrays 
 + 
 +20.12.2007    "Functional Morphology" -- Functional Queues -- Red-Black Trees 
 + 
 +03.01.2008    Haskell versus O'Caml -- Projects -- Darcs
  
-13.12.2007    [[http://ufal.mff.cuni.cz/~smrz/HaskellDSL/haskell-dsl-07.pdf|"Using Types to Parse Natural Language" -- Finite Maps -Red-Black Trees]]+10.10.2008    QuickCheck -- MapReduce et al. -- Concluding Notes
  
 ===== Anotace ===== ===== Anotace =====

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