Související štítky
algebra
android
blog
book
comics
course
cteni
ebook
education
fact
FI:IA014
FI:IA014!
FI:IA046
FI:IB015
FI:IB015!
FRP
fun
functors
haskell
java
komiks
languages
lisp
monads
obor_informatika
obor_matematika
priklady
programming
programování
prokrastinace
PříF:M7150
PříF:M7151
PříF:M8250
quine
science
scheme
sml
style
theory
type
unix
Záložky se štítkem: FI:IB016 Seminář z funkcionálního programování
- Haskell and Web Applications
Popis serializace haskellovských struktur do html.
2 osoby, první 17. 3. 2010, Martin Bukatovič, záložky, lidé - Homotopy Type Theory: Univalent Foundations of Mathematics 1 osoba, první 10. 5. 2015, Matej Kollár, záložky, lidé
- Escape From the Ivory Tower 1 osoba, první 10. 5. 2015, Matej Kollár, záložky, lidé
- Advanced Topics in Programming Languages (Homotopy type theory) 2 osoby, první 8. 3. 2015, Juraj Major, záložky, lidé
- A Brief, Incomplete, and Mostly Wrong History of Programming Languages 2 osoby, první 13. 10. 2010, Jan Kasprzak, záložky, lidé
- Beating the Averages 1 osoba, první 10. 5. 2015, Matej Kollár, záložky, lidé
- Barbara Liskov - The Power of Abstraction 1 osoba, první 10. 5. 2015, Matej Kollár, záložky, lidé
- Škola Amoskadan - AJ grammar
Vynikajúci prehľad AJ gramatiky v češtine formou elearningu.
2 osoby, první 1. 12. 2014, Martin Brakl, záložky, lidé - 24 Days of GHC Extensions 1 osoba, první 5. 12. 2014, Matěj Kolouch Grabovský, záložky, lidé
- UNIX pipes as IO monads 1 osoba, první 14. 2. 2012, Tomáš Szaniszlo, záložky, lidé
Děkujeme del.icio.us za inspiraci.