Related tags:
algebra
android
blog
book
comics
computability
course
cteni
ebook
education
fact
FI
FI:IA038
FI:IB005
FI:IB015
FI:IB016
FI:IB016!
FI:IB107
FI:PB006
fun
funkcionální_programování
haskell
java
komiks
languages
lisp
matematika
monads
obor_informatika
programming
prokrastinace
PříF:M7150
PříF:M7151
PříF:M8250
scheme
theory
type
type_theory
wikibook
wikipedia
Bookmarks with the Following Tag: FI:IA014 Advanced Functional Programming
A Brief, Incomplete, and Mostly Wrong History of Programming Languages 2 users, first 13/10/2010, Jan Kasprzak, bookmarks, people
Advanced Topics in Programming Languages (Homotopy type theory) 2 users, first 8/3/2015, Juraj Major, bookmarks, people
A gentle introduction to category theory --- the calculational approach (PDF) 1 user, first 9/7/2011, Andrej Tokarčík, bookmarks, people
Deriving the Y-Combinator
Derivation of Y-Combinator (in scheme).
1 user, first 27/2/2010, Martin Bukatovič, bookmarks, peopleTo 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.
1 user, first 22/9/2008, Martin Milata, bookmarks, peopleMFF - Pokročilé techniky funkcionálního programování
Stránka předmětu, Zdeněk Dvořák, MFF UK
3 users, first 1/6/2007, Radek Šlesinger, bookmarks, peopleCombinatory in Logic Programming
kombinatory
2 users, first 4/6/2007, Pavol Babinčák, bookmarks, people
Special thanks to del.icio.us for inspiring us.