or cancel
  1. Databases are Categories

    01:13:19

    from Galois Video / Liked

    2,435 Plays / / 5 Comments

    Talk presented by David Spivak on June 3, 2010, part of the Galois Tech Talk series. See http://www.galois.com/blog/2010/05/27/tech-talk-categories-are-databases/ for slides and further information.

    + More details
    • 2011-12-06 HoTT Equivalences

      01:10:36

      from Andrej Bauer / Liked

      797 Plays / / 1 Comment

      In the context of homotopy type theory there are several notions of two spaces being "the same up to equivalence". We investigate three such notions: isomorphism, adjoint equivalence, and…

      + More details
      • Control Flow Graph-guided Exploration in DDT

        01:06:16

        from Galois Video / Liked

        435 Plays / / 0 Comments

        abstract: The existing implementation of DDT uses a depth-first search algorithm to drive the exploration of new paths for testing. This algorithm provides full coverage of the program under test,…

        + More details
        • "The future of Haskell" discussion

          52:16

          from Malcolm Wallace / Liked

          1,823 Plays / / 0 Comments

          "The future of Haskell" discussion moderated by Jeremy Gibbons panel: Don Stewart, Bryan O'Sullivan, Duncan Coutts, Simon Marlow Haskell Symposium Edinburgh 2009 ACM SIGPLAN

          + More details
          • Keynote: Real world Haskell.

            47:34

            from Malcolm Wallace / Liked

            6,931 Plays / / 0 Comments

            Keynote: Real world Haskell. Bryan O'Sullivan Commercial Users of Functional Programming (CUFP) Edinburgh 2009 ACM SIGPLAN

            + More details
            • How to make the "impossible" functionals run even faster

              30:13

              from Andrej Bauer / Liked

              666 Plays / / 0 Comments

              A talk given at "Mathematics, Algorithms and Proofs" meeting in November 2011, which took place at the Lorentz Center in Leiden, the Netherlands.

              + More details
              • The Architectures of The Utrecht Haskell Compiler

                30:01

                from Malcolm Wallace / Liked

                495 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
                • Embedding the Baire space into natural numbers

                  29:18

                  from Andrej Bauer / Liked

                  490 Plays / / 0 Comments

                  A talk given at "Computation with Infinite Data: Logical and Topological Foundations" Dagstuhl seminar, see http://www.dagstuhl.de/11411. In this talk I describe a realizability model based…

                  + More details
                  • Finding the needle: Stack Traces for GHC

                    26:34

                    from Malcolm Wallace / Liked

                    463 Plays / / 0 Comments

                    Finding the needle: Stack Traces for GHC Tristan Allwood, Simon Peyton-Jones and Susan Eisenbach Haskell Symposium Edinburgh 2009 ACM SIGPLAN

                    + More details
                    • Losing Functions Without Gaining Data - Another Look at Defunctionalisation

                      26:16

                      from Malcolm Wallace / Liked

                      433 Plays / / 0 Comments

                      Losing Functions Without Gaining Data - Another Look at Defunctionalisation Neil Mitchell and Colin Runciman Haskell Symposium Edinburgh 2009 ACM SIGPLAN

                      + More details
                      • Parallel Performance Tuning for Haskell

                        26:14

                        from Malcolm Wallace / Liked

                        560 Plays / / 0 Comments

                        Parallel Performance Tuning for Haskell Don Jones Jr, Simon Marlow and Satnam Singh Haskell Symposium Edinburgh 2009 ACM SIGPLAN

                        + More details
                        • Types Are Calling Conventions

                          25:25

                          from Malcolm Wallace / Liked

                          845 Plays / / 0 Comments

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

                          + More details

                          Browse Likes

                          hape

                          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