or cancel
  1. 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
    • A Certified Framework for Compiling and Executing Garbage-Collected Languages

      24:25

      from Scott Smith / Added

      24 Plays / / 0 Comments

      by Andrew McCreight, Tim Chevalier and Andrew Tolmach 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
        • Fortifying Macros by Ryan Culpepper and Matthias Felleisen

          26:52

          from Scott Smith / Added

          181 Plays / / 0 Comments

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

          + 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
            • Functional Parallel Algorithms by Guy Blelloch

              01:10:09

              from Scott Smith / Added

              301 Plays / / 0 Comments

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

              + More details
              • Higher-order Representation of Substructural Logics by Karl Crary

                28:00

                from Scott Smith / Added

                43 Plays / / 0 Comments

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

                + More details
                • Program Verification Through Characteristic Formulae by Arthur Charguéraud

                  23:22

                  from Scott Smith / Added

                  48 Plays / / 0 Comments

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

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

                    19:59

                    from Scott Smith / Added

                    97 Plays / / 0 Comments

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

                    + More details
                    • 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
                      • The Gentle Art of Levitation by Pierre-Evariste Dagand, Conor McBride, James Chapman and Peter Morris

                        22:49

                        from Scott Smith / Added

                        176 Plays / / 0 Comments

                        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

                          81 Plays / / 0 Comments

                          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