or cancel
  1. Keynote: Real world Haskell.


    from Malcolm Wallace Liked 7,397 34 0

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

    + More details
    • Databases are Categories


      from Galois Video Liked 3,100 22 5

      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
      • "The future of Haskell" discussion


        from Malcolm Wallace Liked 1,937 8 0

        "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
        • Types Are Calling Conventions


          from Malcolm Wallace Liked 892 5 0

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

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


            from Andrej Bauer Liked 782 5 0

            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
            • 2011-12-06 HoTT Equivalences


              from Andrej Bauer Liked 1,068 5 1

              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
              • Generic Programming - Dutch HUG


                from Tom Lokhorst Liked 1,919 4 0

                José Pedro Magalhães gives an introductory talk about Data Type Generic Programming in Haskell at the Dutch Haskell User Group meeting in September 2009. Slides: http://dreixel.net/research/gpwwh_pres_DHUG09.pdf Dutch…

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


                  from Galois Video Liked 509 4 0

                  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
                  • Lightweight web development using Flask (Michael Twomey)


                    from whykay Liked 763 4 1

                    PyCon Ireland 2010. (Dublin School of English on Sat 17th July) Abstract ---------- Flask was inspired by the results of an April Fool's micro web framework published by Armin Ronacher. It turned…

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


                      from Malcolm Wallace Liked 484 3 0

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

                      + More details
                      • Unembedding Domain-specific Languages


                        from Malcolm Wallace Liked 779 3 0

                        Unembedding Domain-specific Languages Robert Atkey, Sam Lindley and Jeremy Yallop Haskell Symposium Edinburgh 2009 ACM SIGPLAN

                        + More details
                        • Hac5: Vacuum + Adaptive Containers


                          from Tom Lokhorst Liked 757 3 1

                          Don Stewart demos Vacuum by showing Adaptive containers at the 5th Haskell Hackathon in Utrecht. Christophe Poucet shows the Ubigraph backend to Vacuum. More info: * http://moonpatio.com/vacuum/ *…

                          + More details

                          Browse Likes


                          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