or cancel
  1. Abstracting Abstract Machines by David Van Horn and Matthew Might

    23:56

    from Scott Smith Added 248 1 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
      • 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
        • An LLVM Backend For GHC by David Terei and Manuel Chakravarty

          20:34

          from Scott Smith Added 109 1 0

          Haskell 2010 Baltimore, MD

          + More details
          • A Play on Regular Expressions by Sebastian Fischer, Frank Huch and Thomas Wilke

            19:35

            from Scott Smith Added 129 1 0

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

            + More details
            • Bidirectionalizing Graph Transformations

              27:12

              from Scott Smith Added 89 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
              • Combining Syntactic and Semantic Bidirectionalization by Janis Voigtlander, Zhenjiang Hu, Kazutaka Matsuda and Meng Wang

                25:25

                from Scott Smith Added 38 0 0

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

                + More details
                • Concurrent Orchestration in Haskell by John Launchbury and Trevor Elliott

                  27:29

                  from Scott Smith Added 71 0 0

                  Haskell 2010 Baltimore, MD

                  + More details
                  • Constructing Datatype-Generic Fully Polynomial-Time Approximation Schemes Using Generalised Thinning

                    35:11

                    from Scott Smith Added 68 0 0

                    by Shin-Cheng Mu, Yu-Han Lyu and Akimasa Morihata WGP 2010 Baltimore, MD

                    + 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