or cancel
  1. Cryptol, a DSL for Cryptographic Algorithms by Sally Browning (Galois)


    from Scott Smith Added 320 0 0

    CUFP 2010 Baltimore, MD

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


      from Scott Smith Added 207 0 0

      Haskell 2010 Baltimore, MD

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


        from Scott Smith Added 189 0 0

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

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


          from Scott Smith Added 89 0 0

          Haskell 2010 Baltimore, MD

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


            from Scott Smith Added 126 0 0

            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
            • Exchanging Sources Between Clean and Haskell: A Double-Edged Front End for the Clean Compiler


              from Scott Smith Added 29 0 0

              by John van Groningen, Thomas van Noort, Peter Achten, Pieter Koopman and Rinus Plasmeijer Haskell 2010 Baltimore, MD

            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