or cancel
  1. Effective ML (2011, Harvard CS51), Part 2

    23:57

    from Yaron Minsky / Liked

    1,205 Plays / / 0 Comments

    Another version of the "Effective ML" talk I gave at Harvard last year. This one covers the basic material of the talk in more detail, and doesn't get to talking about phantom types,…

    + More details
    • Experience Report: OCaml for an Industrial-strength Static Analysis Framework

      16:38

      from Malcolm Wallace / Liked

      934 Plays / / 0 Comments

      Experience Report: OCaml for an Industrial-strength Static Analysis Framework Pascal Cuoq and Julien Signoles; CEA LIST International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM…

      + More details
      • Caml Trading

        01:12:43

        from Yaron Minsky / Liked

        16.1K Plays / / 1 Comment

        Talk at CMU describing the experiences that Jane Street has had using OCaml as it's primary development language.

        + More details
        • SYMMETRY - A PALINDROMIC FILM

          07:36

          from PARACHUTES / Liked

          516K Plays / / 158 Comments

          Graduation project. This film has been written symmetrically: the second half is strictly like the first, but played backwards and mirrored. The second part doesn't act like a simple rewinding,…

          + More details
          • Lecture 3.2: Recursion

            44:44

            from Dan Ghica / Liked

            208 Plays / / 0 Comments

            Introduction to structural recursion Foundations of Computer Science I University of Birmingham

            + More details
            • FOCS Lecture 2 : Introducing OCaml

              01:53:58

              from Dan Ghica / Liked

              743 Plays / / 0 Comments

              Foundations of CS part I University of Birmingham 2012-2013

              + More details
              • FOCS Week 7 : Complexity

                01:20:37

                from Dan Ghica / Liked

                138 Plays / / 0 Comments

                Foundations of Computer Science University of Birmingham 2011/12 Lecturer: Dan R. Ghica

                + More details
                • Effective ML (2011, Harvard CS51), Part 1

                  51:31

                  from Yaron Minsky / Liked

                  2,495 Plays / / 2 Comments

                  A new version of the "Effective ML" talk I gave at Harvard last year. This one covers the basic material of the talk in more detail, and doesn't get to talking about phantom types,…

                  + More details
                  • Tech Talk: Anil Madhavapeddy (Cambridge) -- "Mirage: A New Multi-Scale Operating System for Clouds and Crowds"

                    51:42

                    from Talks at LinkedIn / Liked

                    1,709 Plays / / 0 Comments

                    ABSTRACT Applications run on all kinds of environments these days: multicore desktops, virtual cloud infrastructures, smart-phones, and web browsers. These diverse environments make it worth rethinking…

                    + More details
                    • Presentimientos - Trailer - Online

                      01:07

                      from Tornasol Films / Liked

                      9,263 Plays / / 0 Comments

                      + More details
                      • Ancients

                        02:33

                        from Nicholas Buer / Liked

                        790K Plays / / 218 Comments

                        This film follows the ancient cycle of sunset, to night, to sunrise. A continuous loop of perpetual movement that has been unbroken since the dawn of time, and the only true constant in our lives.…

                        + More details
                        • Peter Landin talk at The Science Museum, 5 June, 2001

                          29:19

                          from Paul Boca / Liked

                          399 Plays / / 0 Comments

                          Peter Landin's talk at Program Verification and Semantics: The Early Work, BCS Computer Conservation Society seminar, Science Museum, London, UK, 5 June 2001

                          + More details

                          Browse Likes

                          Marco Piedra Venegas

                          Likes are an easy way to keep track of the videos you enjoy. Use likes to bookmark videos you want to watch again and again and again and again.

                          Also Check Out