or cancel
  1. The Reduceron Reconfigured by Matthew Naylor and Colin Runciman

    26:17

    from Scott Smith / Added

    80 Plays / / 0 Comments

    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

      69 Plays / / 0 Comments

      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

        36 Plays / / 0 Comments

        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

          112 Plays / / 0 Comments

          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

            47 Plays / / 0 Comments

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

            + More details
            • VeriML: Typed Computation of Logical Terms inside a Language with Effects by Antonis Stampoulis and Zhong Shao

              24:13

              from Scott Smith / Added

              65 Plays / / 0 Comments

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

              + More details
              • Regular, Shape-polymorphic, Parallel Arrays in Haskell

                27:26

                from Scott Smith / Added

                103 Plays / / 0 Comments

                by Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon Peyton Jones and Ben Lippmeier International Conference on Functional Programming (ICFP) Baltimore, MD 2010 ACM SIGPLAN

                + More details
                • CL2: Eating One’s Own Dogfood by Warren A. Hunt Jr. (University of Texas)

                  33:14

                  from Scott Smith / Added

                  71 Plays / / 0 Comments

                  CUFP 2010 Baltimore, MD

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

                    44:37

                    from Scott Smith / Added

                    282 Plays / / 0 Comments

                    CUFP 2010 Baltimore, MD

                    + More details
                    • Supercompilation by Evaluation by Max Bolingbroke and Simon Peyton Jones

                      24:25

                      from Scott Smith / Added

                      175 Plays / / 0 Comments

                      Haskell 2010 Baltimore, MD

                      + More details
                      • An LLVM Backend For GHC by David Terei and Manuel Chakravarty

                        20:34

                        from Scott Smith / Added

                        97 Plays / / 0 Comments

                        Haskell 2010 Baltimore, MD

                        + More details
                        • Hoopl: A Modular, Reusable Library for Dataflow Analysis and Transformation

                          27:36

                          from Scott Smith / Added

                          139 Plays / / 0 Comments

                          by Norman Ramsey, Joao Dias and Simon Peyton Jones Haskell 2010

                          + 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