or cancel
  1. Nikola: Embedding Compiled GPU Functions in Haskell by Geoffrey Mainland and Greg Morrisett

    21:42

    from Scott Smith / Added

    112 Plays / / 0 Comments

    Haskell 2010 Baltimore, MD

    + More details
    • Haskell 2010 Workshop: Introduction

      07:37

      from Scott Smith / Added

      108 Plays / / 0 Comments

      + More details
      • The Impact of Higher-Order State and Control Effects on Local Relational Reasoning

        22:42

        from Scott Smith / Added

        107 Plays / / 0 Comments

        by Derek Dreyer, Georg Neis and Lars Birkedal International Conference on Functional Programming (ICFP) Baltimore, MD 2010 ACM SIGPLAN

        + More details
        • Regular, Shape-polymorphic, Parallel Arrays in Haskell

          27:26

          from Scott Smith / Added

          102 Plays / / 0 Comments

          by Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon Peyton Jones and Ben Lippmeier International Conference on Functional Programming (ICFP) Baltimore, MD 2010 ACM SIGPLAN

          + More details
          • Invertible Syntax Descriptions: Unifying Parsing and Pretty Printing by Tillmann Rendel and Klaus Ostermann

            28:13

            from Scott Smith / Added

            101 Plays / / 0 Comments

            Haskell 2010 Baltimore, MD

            + More details
            • Functional Pearl: Every Bit Counts by Dimitrios Vytiniotis and Andrew Kennedy

              19:59

              from Scott Smith / Added

              101 Plays / / 0 Comments

              International Conference on Functional Programming (ICFP) Baltimore, MD 2010 ACM SIGPLAN

              + More details
              • An LLVM Backend For GHC by David Terei and Manuel Chakravarty

                20:34

                from Scott Smith / Added

                95 Plays / / 0 Comments

                Haskell 2010 Baltimore, MD

                + More details
                • Report on the Thirteenth ICFP Programming Contest by Bertram Felgenhauer and Johannes Waldmann

                  40:02

                  from Scott Smith / Added

                  86 Plays / / 0 Comments

                  International Conference on Functional Programming (ICFP) Baltimore, MD 2010 ACM SIGPLAN

                  + More details
                  • Parametricity and Dependent Types by Jean-Philippe Bernardy, Patrik Jansson and Ross Paterson

                    27:55

                    from Scott Smith / Added

                    86 Plays / / 0 Comments

                    International Conference on Functional Programming (ICFP) Baltimore, MD 2010 ACM SIGPLAN

                    + More details
                    • Experience Report: Haskell as a Reagent by Iustin Pop

                      19:51

                      from Scott Smith / Added

                      83 Plays / / 0 Comments

                      International Conference on Functional Programming (ICFP) Baltimore, MD 2010 ACM SIGPLAN

                      + More details
                      • Instance Chains: Type Class Programming Without Overlapping Instances by J. Garrett Morris and Mark P. Jones

                        28:35

                        from Scott Smith / Added

                        81 Plays / / 0 Comments

                        International Conference on Functional Programming (ICFP) Baltimore, MD 2010 ACM SIGPLAN

                        + More details
                        • Matching Lenses: Alignment and View Update

                          21:45

                          from Scott Smith / Added

                          79 Plays / / 0 Comments

                          by Davi M. J. Barbosa, Julien Cretin, Nate Foster, Michael Greenberg and Benjamin C. Pierce International Conference on Functional Programming (ICFP) Baltimore, MD 2010 ACM SIGPLAN

                          + More details

                          Browse Videos

                          Scott Smith

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

                          Also Check Out