Záložky se štítkem: FI:IA014

Související štítky

všechny štítky

Záložky se štítkem: FI:IA014 Advanced Functional Programming

• Beating the Averages

  cizí štítky: FI:IB015 haskell FI:IB016 FI:IA014 FI:IB016! lisp

  1 osoba, první 10. 5. 2015, Matej Kollár, záložky, lidé
• Advanced Topics in Programming Languages (Homotopy type theory)

  cizí štítky: FI:IB015 FI:IB016 education FI:IA014 FI:IB016! PříF:M7150 theory FI:IA014! course type PříF:M7151 PříF:M8250

  2 osoby, první 8. 3. 2015, Juraj Major, záložky, lidé
• A Brief, Incomplete, and Mostly Wrong History of Programming Languages

  cizí štítky: blog programování FI:IB015 zábava humor haskell FI:IB016 FI:IA014 FI:IB016! fun

  2 osoby, první 13. 10. 2010, Jan Kasprzak, záložky, lidé
• All about monads

  cizí štítky: FI:IB015 haskell FI:IA014 Haskell

  2 osoby, první 5. 6. 2009, Zuzana Zábojníková, záložky, lidé
• Existential Type

  cizí štítky: FI:IA014 FI:PB006 type_theory

  1 osoba, první 13. 2. 2012, Tomáš Szaniszlo, záložky, lidé
• A gentle introduction to category theory --- the calculational approach (PDF)

  cizí štítky: matematika FI:IA014 algebra PříF:M7150

  1 osoba, první 9. 7. 2011, Andrej Tokarčík, záložky, lidé
• Deriving the Y-Combinator

  Derivation of Y-Combinator (in scheme).

  cizí štítky: FI:IA014 scheme funkcionální_programování

  1 osoba, první 27. 2. 2010, Martin Bukatovič, záložky, lidé
• To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus

  The lambda calculus, and the closely related theory of combinators, are important in the foundations of mathematics, logic and computer science. This paper provides an informal and entertaining introduction by means of an animated graphical notation.

  cizí štítky: FI FI:IA014 funkcionální_programování

  1 osoba, první 22. 9. 2008, Martin Milata, záložky, lidé
• MFF - Pokročilé techniky funkcionálního programování

  Stránka předmětu, Zdeněk Dvořák, MFF UK

  cizí štítky: obor_informatika FI:IA014

  3 osoby, první 1. 6. 2007, Radek Šlesinger, záložky, lidé
• Combinatory in Logic Programming

  kombinatory

  cizí štítky: FI:IA014

  2 osoby, první 4. 6. 2007, Pavol Babinčák, záložky, lidé