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 29 0 0

    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 109 0 0

      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 87 1 0

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

        + More details
        • Rethinking Supercompilation by Neil Mitchell

          27:54

          from Scott Smith Added 71 1 0

          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,611 25 0

            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 74 0 0

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

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

                24:00

                from Scott Smith Added 71 1 0

                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 132 0 0

                  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 766 5 1

                    Haskell 2010 Baltimore, MD

                    + More details
                    • Specifying and Verifying Sparse Matrix Codes

                      25:11

                      from Scott Smith Added 75 0 0

                      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

                      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