or cancel
  1. Constructing Datatype-Generic Fully Polynomial-Time Approximation Schemes Using Generalised Thinning

    35:11

    from Scott Smith Added 67 0 0

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

    + More details
    • Reason Isomorphically! by Ralf Hinze and Daniel James

      38:47

      from Scott Smith Added 176 0 0

      WGP 2010 Baltimore, MD

      + More details
      • Generic Storage in Haskell by Sebastiaan Visser and Andres Loeh

        40:22

        from Scott Smith Added 225 2 0

        WGP 2010 Baltimore, MD

        + More details
        • Outrageous but Meaningful Coincidences (Dependent type-safe syntax and evaluation)

          48:55

          from Scott Smith Added 431 2 0

          by Conor McBride WGP 2010 Baltimore, MD

          + More details
          • Functional Programming at Freebase by Warren Harris (Metaweb)

            31:10

            from Scott Smith Added 376 2 0

            CUFP 2010 Baltimore, MD

            + More details
            • Functional Language Compiler Experiences at Intel by Neal Glew (Intel)

              34:24

              from Scott Smith Added 649 1 1

              CUFP 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