or cancel
  1. GHC 7.6, More Well-Typed Than Ever

    32:35

    from Tom Lokhorst Added 1,182 9 0

    José Pedro Magalhães talks about some new features coming to GHC 7.6. These include, data kinds, kind polymorphism, type-level literals, and deferred type errors. Slides: http://dreixel.net/research/pdf/ghc7.6mwtte_pres_dhd2012.pdf This…

    + More details
    • AwesomePrelude - Liberating Haskell from data types!

      46:55

      from Tom Lokhorst Added 3,330 7 0

      Tom Lokhorst and Sebastiaan Visser present the AwesomePrelude. A reimplementation of the Haskell prelude in which all data types have been replaced with type classes. Embedded Domain Specific Languages…

      + More details
      • Generic Programming - Dutch HUG

        17:39

        from Tom Lokhorst Added 1,928 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
        • Hac5: Vacuum + Adaptive Containers

          24:09

          from Tom Lokhorst Added 765 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
          • Building Your Own Haskell ecosystem

            23:42

            from Tom Lokhorst Added 105 2 0

            Erik Hesselink presents how Haskell package management is done at Silk. Slides: https://github.com/spl/dhd-2012-slides/raw/master/erik-hesselink-ecosystem.pdf Silk: http://silkapp.com This talk…

            + More details
            • fclabels - First Class Record Labels for Haskell

              19:59

              from Tom Lokhorst Added 78 2 0

              Sebastiaan Visser presents the fclabels package. Hackage: http://hackage.haskell.org/package/fclabels GitHub: https://github.com/sebastiaanvisser/fclabels This talk was giving at the Dutch Haskell…

              + More details
              • Applicative Regular Expressions

                10:17

                from Tom Lokhorst Added 156 1 0

                Roman Cheplyaka talks about the regex-applicative package. Slides: http://ro-che.info/docs/2012-04-20-applicative-regexps.pdf Hackage: http://hackage.haskell.org/package/regex-applicative GitHub:…

                + More details
                • Holes in GHC

                  10:45

                  from Tom Lokhorst Added 107 1 0

                  Thijs Alkemade talks about his experimentation project at Utrecht University on adding holes for type-based debugging with GHC. GHC Trac: http://hackage.haskell.org/trac/ghc/wiki/Holes This…

                  + More details
                  • Model Checking Abstract Syntax Trees

                    25:31

                    from Tom Lokhorst Added 111 1 0

                    Pascal Hof talks about model checking Abstract Syntax Trees. Slides: https://github.com/spl/dhd-2012-slides/raw/master/pascal-hof-model-checking.pdf GitHub: https://github.com/pascalh/modelchecking This…

                    + More details
                    • Supporting Different Versions of the WebSockets Protocol

                      27:01

                      from Tom Lokhorst Added 59 1 0

                      Jasper Van der Jeugt talks about the WebSockets package. Slides: http://jaspervdj.be/files/2012-dutchhug-websockets.pdf Homepage: http://jaspervdj.be/websockets/ Hackage: http://hackage.haskell.org/package/websockets GitHub:…

                      + More details
                      • Spaken - Compass-and-straightedge constructions

                        53:10

                        from Tom Lokhorst Added 196 1 1

                        Martijn van Steenbergen talks about serializing monadic computations in a monadic EDSL to describe compass-and-straightedge constructions. Slides: http://spaken.googlecode.com/svn/trunk/Spaken.pdf Code:…

                        + More details
                        • Vertical video test

                          00:43

                          from Tom Lokhorst Added 32 0 0

                        Browse Videos

                        Videos Tom Lokhorst

                        Here are all of the videos that Tom Lokhorst has uploaded to Vimeo. Appearances are videos that Tom Lokhorst has been credited in by others.

                        Also Check Out