or cancel
  1. Explanation of Generalized Algebraic Data Types

    18:23

    from Heinrich Apfelmus / Liked

    3,080 Plays / / 2 Comments

    An explanation of the why and how of Generalized Algebraic Data Types in Haskell, using a small language of arithmetic expressions as example.

    + More details
    • Types Are Calling Conventions

      25:25

      from Malcolm Wallace / Liked

      840 Plays / / 0 Comments

      Types Are Calling Conventions Max Bolingbroke and Simon Peyton Jones Haskell Symposium Edinburgh 2009 ACM SIGPLAN

      + More details
      • Typed type-level functional programming in GHC

        25:52

        from Malcolm Wallace / Liked

        698 Plays / / 0 Comments

        A talk given by Brent Yorgey at the Haskell Implementors' Workshop 2010, in Baltimore.

        + More details
        • The Architectures of The Utrecht Haskell Compiler

          30:01

          from Malcolm Wallace / Liked

          494 Plays / / 1 Comment

          The Architectures of The Utrecht Haskell Compiler Atze Dijkstra, Jeroen Fokker and Doaitse Swierstra Haskell Symposium Edinburgh 2009 ACM SIGPLAN

          + More details
          • Generic Storage in Haskell by Sebastiaan Visser and Andres Loeh

            40:22

            from Scott Smith / Liked

            219 Plays / / 0 Comments

            WGP 2010 Baltimore, MD

            + More details
            • Polyvariant Flow Analysis with Higher-ranked Polymorphic Types and Higher-order Effect Operators

              27:08

              from Scott Smith / Liked

              31 Plays / / 0 Comments

              by Stefan Holdermans and Jurriaan Hage International Conference on Functional Programming (ICFP) Baltimore, MD 2010 ACM SIGPLAN

              + More details

              Browse Likes

              Tom Lokhorst

              Likes are an easy way to keep track of the videos you enjoy. Use likes to bookmark videos you want to watch again and again and again and again.

              Also Check Out