or cancel
  1. Polyvariant Flow Analysis with Higher-ranked Polymorphic Types and Higher-order Effect Operators

    27:08

    from Scott Smith / Added

    33 Plays / / 0 Comments

    by Stefan Holdermans and Jurriaan Hage International Conference on Functional Programming (ICFP) Baltimore, MD 2010 ACM SIGPLAN

    + More details
    • Abstracting Abstract Machines by David Van Horn and Matthew Might

      23:56

      from Scott Smith / Added

      146 Plays / / 0 Comments

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

      + More details
      • Lolliproc: to Concurrency from Classical Linear Logic via Curry-Howard and Control by Karl Mazurak and Steve Zdancewic

        31:24

        from Scott Smith / Added

        59 Plays / / 0 Comments

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

        + More details
        • ReCaml: Execution State as the Cornerstone of Reconfigurations by Jérémy Buisson and Fabien Dagnat

          21:25

          from Scott Smith / Added

          29 Plays / / 0 Comments

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

          + More details
          • Functional Pearl: Every Bit Counts by Dimitrios Vytiniotis and Andrew Kennedy

            19:59

            from Scott Smith / Added

            101 Plays / / 0 Comments

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

            + More details
            • The Gentle Art of Levitation by Pierre-Evariste Dagand, Conor McBride, James Chapman and Peter Morris

              22:49

              from Scott Smith / Added

              203 Plays / / 0 Comments

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

              + 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
                • Most Influential ICFP’00 Paper Award by Phil Wadler

                  04:49

                  from Scott Smith / Added

                  68 Plays / / 0 Comments

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

                  + More details
                  • ICFP 2010 PC chair’s report by Stephanie Weirich

                    16:39

                    from Scott Smith / Added

                    57 Plays / / 0 Comments

                    + More details
                    • Haskell 2010 Workshop: Introduction

                      07:37

                      from Scott Smith / Added

                      108 Plays / / 0 Comments

                      + 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