[ 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 Both sides next revision
courses:pfl080 [2007/11/28 14:15]
smrz
courses:pfl080 [2007/12/10 15:34]
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 44: Line 45:
 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]]
 +
 +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]]
  
 ===== Anotace ===== ===== Anotace =====

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