Bookmarks with the Following Tag: FI:IA014 funkcionální_programování

Bookmarks with the Following Tag: FI:IA014 funkcionální_programování

• Deriving the Y-Combinator

  Derivation of Y-Combinator (in scheme).

  other users' tags: FI:IA014 scheme funkcionální_programování

  1 user, first 27/2/2010, Martin Bukatovič, bookmarks, people
• 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.

  other users' tags: FI FI:IA014 funkcionální_programování

  1 user, first 22/9/2008, Martin Milata, bookmarks, people