or cancel
  1. TeachScheme! – A Checkpoint by Matthias Felleisen

    01:18:35

    from Scott Smith / Added

    301 Plays / / 0 Comments

    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

      321 Plays / / 0 Comments

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

      + More details
      • F#: Embracing Functional Programming in Visual Studio 2010 by Luke Hoban (Microsoft)

        01:01:39

        from Scott Smith / Added

        698 Plays / / 0 Comments

        CUFP 2010 Baltimore, MD

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

          48:55

          from Scott Smith / Added

          400 Plays / / 0 Comments

          by Conor McBride WGP 2010 Baltimore, MD

          + More details
          • Cryptol, a DSL for Cryptographic Algorithms by Sally Browning (Galois)

            44:37

            from Scott Smith / Added

            275 Plays / / 0 Comments

            CUFP 2010 Baltimore, MD

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

              40:22

              from Scott Smith / Added

              220 Plays / / 0 Comments

              WGP 2010 Baltimore, MD

              + More details
              • Scrap Your Zippers: A Generic Zipper for Heterogeneous Types by Michael D. Adams

                40:11

                from Scott Smith / Added

                65 Plays / / 0 Comments

                WGP 2010 Baltimore, MD

                + More details
                • Report on the Thirteenth ICFP Programming Contest by Bertram Felgenhauer and Johannes Waldmann

                  40:02

                  from Scott Smith / Added

                  85 Plays / / 0 Comments

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

                  + More details
                  • Generic Multiset Programming for Language-Integrated Querying by Fritz Henglein and Ken Friis Larsen

                    39:44

                    from Scott Smith / Added

                    48 Plays / / 0 Comments

                    WGP 2010 Baltimore, MD

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

                      38:47

                      from Scott Smith / Added

                      156 Plays / / 0 Comments

                      WGP 2010 Baltimore, MD

                      + More details
                      • Fritz Henglein and Ken Friis Larsen by Bryan Chadwick and Karl Lieberherr

                        36:04

                        from Scott Smith / Added

                        50 Plays / / 0 Comments

                        WGP 2010 Baltimore, MD

                        + More details
                        • Generic Selections of Subexpressions by Martijn van Steenbergen, Jos ́e Pedro Magalh ̃aes and Johan Jeuring

                          35:48

                          from Scott Smith / Added

                          35 Plays / / 0 Comments

                          WGP 2010 Baltimore, MD

                          + More details

                          Browse 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