or cancel
  1. Experience Report: Using Hackage to Inform Language Design by J. Garrett Morris

    11:59

    from Scott Smith / Added

    41 Plays / / 0 Comments

    Haskell 2010 Baltimore, MD

    + More details
    • Exchanging Sources Between Clean and Haskell: A Double-Edged Front End for the Clean Compiler

      23:38

      from Scott Smith / Added

      25 Plays / / 0 Comments

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

    • A Generic Deriving Mechanism for Haskell by José Pedro Magalhaes, Atze Dijkstra, Johan Jeuring and Andres Löh

      25:45

      from Scott Smith / Added

      50 Plays / / 0 Comments

      Haskell 2010 Baltimore, MD

      + More details
      • A Systematic Derivation of the STG Machine Verified in Coq by Maciej Pirog and Dariusz Biernacki

        21:43

        from Scott Smith / Added

        75 Plays / / 0 Comments

        Haskell 2010 Baltimore, MD

        + More details
        • The Performance of the Haskell Containers Package by Milan Straka

          26:13

          from Scott Smith / Added

          59 Plays / / 0 Comments

          Haskell 2010 Baltimore, MD

          + More details
          • Invertible Syntax Descriptions: Unifying Parsing and Pretty Printing by Tillmann Rendel and Klaus Ostermann

            28:13

            from Scott Smith / Added

            81 Plays / / 0 Comments

            Haskell 2010 Baltimore, MD

            + More details
            • Status Reports on Haskell 2010 and Haskell 2011 by Simon Marlow and Malcolm Wallace

              18:05

              from Scott Smith / Added

              65 Plays / / 0 Comments

              Haskell 2010 Baltimore, MD

              + More details
              • Instance Chains: Type Class Programming Without Overlapping Instances by J. Garrett Morris and Mark P. Jones

                28:35

                from Scott Smith / Added

                71 Plays / / 0 Comments

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

                + More details
                • Experience Report: Haskell as a Reagent by Iustin Pop

                  19:51

                  from Scott Smith / Added

                  73 Plays / / 0 Comments

                  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

                    110 Plays / / 0 Comments

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

                    + More details
                    • Parametricity and Dependent Types by Jean-Philippe Bernardy, Patrik Jansson and Ross Paterson

                      27:55

                      from Scott Smith / Added

                      78 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

                        61 Plays / / 0 Comments

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

                        + 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