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


    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!


      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


        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


          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


            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


              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


                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


                  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


                    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


                      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


                        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


                          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