or cancel
  1. ReCaml: Execution State as the Cornerstone of Reconfigurations by Jérémy Buisson and Fabien Dagnat

    21:25

    from Scott Smith / Added

    28 Plays / / 0 Comments

    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

      96 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
      • Report on the Thirteenth ICFP Programming Contest by Bertram Felgenhauer and Johannes Waldmann

        40:02

        from Scott Smith / Added

        82 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
          • Scaling Scala at Twitter by Marius Eriksen (Twitter)

            29:00

            from Scott Smith / Added

            6,223 Plays / / 0 Comments

            CUFP 2010 Baltimore, MD

            + More details
            • Scrapping your Inefficient Engine: using Partial Evaluation to Improve Domain-Specific Language Implementation

              23:42

              from Scott Smith / Added

              71 Plays / / 0 Comments

              by Edwin Brady and Kevin Hammond International Conference on Functional Programming (ICFP) Baltimore, MD 2010 ACM SIGPLAN

              + More details
              • Scrap Your Zippers: A Generic Zipper for Heterogeneous Types by Michael D. Adams

                40:11

                from Scott Smith / Added

                64 Plays / / 0 Comments

                WGP 2010 Baltimore, MD

                + More details
                • Security-Typed Programming within Dependently-Typed Programming by Jamie Morgenstern and Dan Licata

                  24:00

                  from Scott Smith / Added

                  63 Plays / / 0 Comments

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

                  + More details
                  • Semantic Subtyping with an SMT Solver by Gavin Bierman, Andrew Gordon, Catalin Hritcu and David Langworthy

                    29:07

                    from Scott Smith / Added

                    122 Plays / / 0 Comments

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

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

                      25:42

                      from Scott Smith / Added

                      656 Plays / / 1 Comment

                      Haskell 2010 Baltimore, MD

                      + More details
                      • Specifying and Verifying Sparse Matrix Codes

                        25:11

                        from Scott Smith / Added

                        70 Plays / / 0 Comments

                        by Gilad Arnold, Johannes Hölzl, Ali Sinan Köksal, Rastislav Bodik and Mooly Sagiv 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