Záložky se štítkem: funkcionální

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é

Děkujeme del.icio.us za inspiraci.