or cancel
  1. Parametricity and Dependent Types by Jean-Philippe Bernardy, Patrik Jansson and Ross Paterson

    27:55

    from Scott Smith / Added

    83 Plays / / 0 Comments

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

    + More details
    • Rethinking Supercompilation by Neil Mitchell

      27:54

      from Scott Smith / Added

      63 Plays / / 0 Comments

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

      + More details
      • Hoopl: A Modular, Reusable Library for Dataflow Analysis and Transformation

        27:36

        from Scott Smith / Added

        119 Plays / / 0 Comments

        by Norman Ramsey, Joao Dias and Simon Peyton Jones Haskell 2010

        + More details
        • Concurrent Orchestration in Haskell by John Launchbury and Trevor Elliott

          27:29

          from Scott Smith / Added

          56 Plays / / 0 Comments

          Haskell 2010 Baltimore, MD

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

            27:26

            from Scott Smith / Added

            100 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
            • Bidirectionalizing Graph Transformations

              27:12

              from Scott Smith / Added

              71 Plays / / 0 Comments

              by Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda and Keisuke Nakano International Conference on Functional Programming (ICFP) Baltimore, MD 2010 ACM SIGPLAN

              + More details
              • Polyvariant Flow Analysis with Higher-ranked Polymorphic Types and Higher-order Effect Operators

                27:08

                from Scott Smith / Added

                33 Plays / / 0 Comments

                by Stefan Holdermans and Jurriaan Hage International Conference on Functional Programming (ICFP) Baltimore, MD 2010 ACM SIGPLAN

                + More details
                • Fortifying Macros by Ryan Culpepper and Matthias Felleisen

                  26:52

                  from Scott Smith / Added

                  187 Plays / / 0 Comments

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

                  + More details
                  • The Reduceron Reconfigured by Matthew Naylor and Colin Runciman

                    26:17

                    from Scott Smith / Added

                    74 Plays / / 0 Comments

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

                    + More details
                    • The Performance of the Haskell Containers Package by Milan Straka

                      26:13

                      from Scott Smith / Added

                      67 Plays / / 0 Comments

                      Haskell 2010 Baltimore, MD

                      + More details
                      • A Generic Deriving Mechanism for Haskell by José Pedro Magalhaes, Atze Dijkstra, Johan Jeuring and Andres Löh

                        25:45

                        from Scott Smith / Added

                        60 Plays / / 0 Comments

                        Haskell 2010 Baltimore, MD

                        + More details
                        • Species and Functors and Types, Oh My! by Brent Yorgey

                          25:42

                          from Scott Smith / Added

                          670 Plays / / 1 Comment

                          Haskell 2010 Baltimore, MD

                          + 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