or cancel
  1. Program Verification Through Characteristic Formulae by Arthur Charguéraud

    23:22

    from Scott Smith Added 50 0 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 73 1 0

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

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

        23:42

        from Scott Smith Added 76 0 0

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

        + More details
        • Total Parser Combinators by Nils Anders Danielsson

          23:34

          from Scott Smith Added 230 2 0

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

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

                01:10:09

                from Scott Smith Added 538 5 0

                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 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
                  • Fortifying Macros by Ryan Culpepper and Matthias Felleisen

                    26:52

                    from Scott Smith Added 226 0 0

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

                    + More details
                    • Experience Report: Growing Programming Languages for Beginning Students by Marcus Crestani and Michael Sperber

                      22:20

                      from Scott Smith Added 178 1 0

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

                      + More details
                      • A Fresh Look at Programming with Names and Binders by Nicolas Pouillard and Francois Pottier

                        24:14

                        from Scott Smith Added 57 0 0

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

                        + More details
                        • Bidirectionalizing Graph Transformations

                          27:12

                          from Scott Smith Added 91 0 0

                          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

                          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