Bookmarks of the following user: Mgr. Adam Krupička, učo 410366

Tags of the following user:

all tags

Bookmarks of the following user: Mgr. Adam Krupička, učo 410366

• Complete interactive development program for Haskell

  my tags: FI:IA014 FI:IB016 FI:IB015

  1 user, first 11/8/2016, Adam Krupička, bookmarks, people
• SCOOPING THE LOOP SNOOPER

  A proof that the Halting Problem is undecidable

  my tags: FI:IA006 FI:IA046 FI:IB005 FI:IB102

  1 user, first 1/7/2016, Adam Krupička, bookmarks, people
• Morte: an intermediate language for super-optimizing functional programs

  my tags: FI:IA014 FI:IA038

  1 user, first 13/6/2016, Adam Krupička, bookmarks, people
• weigh: Measuring allocations in Haskell

  my tags: FI:IA014 FI:IB016

  1 user, first 27/5/2016, Adam Krupička, bookmarks, people
• So you want to learn type theory...

  my tags: FI:IA014 FI:IA038

  1 user, first 17/5/2016, Adam Krupička, bookmarks, people
• THE TYPE THEORY PODCAST

  my tags: FI:IA038

  1 user, first 24/4/2016, Adam Krupička, bookmarks, people
• Scott Aaronson Answers Every Ridiculously Big Question I Throw at Him

  my tags: FI:IA082 FI:MA007

  1 user, first 24/4/2016, Adam Krupička, bookmarks, people
• A Neural Network Playground

  my tags: FI:PV021

  1 user, first 13/4/2016, Adam Krupička, bookmarks, people
• Imperative Reasoning is Hard

  my tags: FI:IA014

  1 user, first 7/2/2016, Adam Krupička, bookmarks, people
• Functional Programming, Abstraction, and Naming Things

  my tags: FI:IA014

  1 user, first 11/1/2016, Adam Krupička, bookmarks, people