or cancel
  1. Matching Lenses: Alignment and View Update

    21:45

    from Scott Smith Added 82 0 0

    by Davi M. J. Barbosa, Julien Cretin, Nate Foster, Michael Greenberg and Benjamin C. Pierce International Conference on Functional Programming (ICFP) Baltimore, MD 2010 ACM SIGPLAN

    + More details
    • Combining Syntactic and Semantic Bidirectionalization by Janis Voigtlander, Zhenjiang Hu, Kazutaka Matsuda and Meng Wang

      25:25

      from Scott Smith Added 48 0 0

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

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

        + More details
        • Distance Makes the Types Grow Stronger by Jason Reed and Benjamin Pierce

          24:27

          from Scott Smith Added 139 1 0

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

          + More details
          • The Impact of Higher-Order State and Control Effects on Local Relational Reasoning

            22:42

            from Scott Smith Added 134 0 0

            by Derek Dreyer, Georg Neis and Lars Birkedal 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 86 0 0

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

              + More details
              • TeachScheme! – A Checkpoint by Matthias Felleisen

                01:18:35

                from Scott Smith Added 382 2 1

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

                + More details
                • Logical Types for Untyped Languages by Sam Tobin-Hochstadt and Matthias Felleisen

                  29:40

                  from Scott Smith Added 251 2 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 147 0 0

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

                    + More details
                    • Lazy Tree Splitting by Lars Bergstrom, Matthew Fluet, Michael Rainey, John Reppy and Adam Shaw

                      22:28

                      from Scott Smith Added 74 0 0

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

                      + More details
                      • Experience Report: Using Functional Programming within an Industrial Product Group: Perspectives and Perceptions

                        20:36

                        from Scott Smith Added 82 2 0

                        by David Scott, Richard Sharp, Thomas Gazagnaire and Anil Madhavapeddy 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 101 0 0

                          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