or cancel
  1. AwesomePrelude - Liberating Haskell from data types!


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


          from Tom Lokhorst Added 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
          • Spaken - Compass-and-straightedge constructions


            from Tom Lokhorst Added 194 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
            • 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
              • xformat - Dutch HUG


                from Tom Lokhorst Added 129 0 0

                Sean Leather presents his `xformat` library for extensible and type safe formatting at the Dutch Haskell User Group meeting in September 2009. Blog post (including slides): http://splonderzoek.blogspot.com/2009/09/extensibility-and-type-safety-in.html Library…

                + More details
                • Model Checking Abstract Syntax Trees


                  from Tom Lokhorst Added 107 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
                  • Holes in GHC


                    from Tom Lokhorst Added 106 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
                    • 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 76 1 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
                        • DotFS


                          from Tom Lokhorst Added 71 0 0

                          Paul van der Walt and Sjoerd Timmer talk about DotFS, or How Fred Solved His Config Clutter. Slides: http://prezi.com/-acujvowpciq/dotfs Hackage: http://hackage.haskell.org/package/dotfs GitHub:…

                          + More details

                          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