or cancel
  1. Parametricity and Dependent Types by Jean-Philippe Bernardy, Patrik Jansson and Ross Paterson

    27:55

    from Scott Smith Added 102 0 0

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

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

      19:35

      from Scott Smith Added 134 1 0

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

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

        38:47

        from Scott Smith Added 183 0 0

        WGP 2010 Baltimore, MD

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

          40:22

          from Scott Smith Added 227 2 0

          WGP 2010 Baltimore, MD

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

            48:55

            from Scott Smith Added 442 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 389 2 0

              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