Bookmarks with the Following Tag: FI:IA014

Related tags:

all tags

Bookmarks with the Following Tag: FI:IA014 Advanced Functional Programming

• A Brief, Incomplete, and Mostly Wrong History of Programming Languages

  other users' tags: blog programování FI:IB015 zábava humor haskell FI:IB016 FI:IA014 FI:IB016! fun

  2 users, first 13/10/2010, Jan Kasprzak, bookmarks, people
• Beating the Averages

  other users' tags: FI:IB015 haskell FI:IB016 FI:IA014 FI:IB016! lisp

  1 user, first 10/5/2015, Matej Kollár, bookmarks, people
• Advanced Topics in Programming Languages (Homotopy type theory)

  other users' tags: FI:IB015 FI:IB016 education FI:IA014 FI:IB016! PříF:M7150 theory FI:IA014! course type PříF:M7151 PříF:M8250

  2 users, first 8/3/2015, Juraj Major, bookmarks, people
• All about monads

  other users' tags: FI:IB015 haskell FI:IA014 Haskell

  2 users, first 5/6/2009, Zuzana Zábojníková, bookmarks, people
• Existential Type

  other users' tags: FI:IA014 FI:PB006 type_theory

  1 user, first 13/2/2012, Tomáš Szaniszlo, bookmarks, people
• A gentle introduction to category theory --- the calculational approach (PDF)

  other users' tags: matematika FI:IA014 algebra PříF:M7150

  1 user, first 9/7/2011, Andrej Tokarčík, bookmarks, people
• 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
• MFF - Pokročilé techniky funkcionálního programování

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

  other users' tags: obor_informatika FI:IA014

  3 users, first 1/6/2007, Radek Šlesinger, bookmarks, people
• Combinatory in Logic Programming

  kombinatory

  other users' tags: FI:IA014

  2 users, first 4/6/2007, Pavol Babinčák, bookmarks, people