or cancel
  1. dynamic => static


    from Jonathan Edwards Added 5,769 21 6

    The schism between static and dynamic languages has been long and bitter. Static types provide performance, safety, and intelligent IDE assistance. Dynamic languages are simpler and make it easier…

    + More details
    • The NYU Game Center Lecture Series: Richard Garfield


      from NYU Game Center Added 4,578 17 0

      The NYU Game Center Lecture Series invites influential game designers, theoreticians, and thinkers to the Center to share their thoughts with the community of students, local game developers, &…

      + More details
      • OPLSS10: Benjamin Pierce: Software Foundations in Coq 1/6


        from Schonfinkeled Added 314 3 0 Picking up where Andrew Tolmach's lectures (ALSO UPLOADED HERE, WATCH THOSE FIRST) leave off (and following the second half of…

        + More details
        • Haskell Types with Added Value


          from Malcolm Wallace Added 780 3 0

          Haskell Types with Added Value - Conor McBride. Haskell Implementers Workshop, Edinburgh 2009.

          + More details
          • Outrageous but Meaningful Coincidences (Dependent type-safe syntax and evaluation)


            from Scott Smith Added 432 2 0

            by Conor McBride WGP 2010 Baltimore, MD

            + More details

            Your membership in this group is pending until moderator approval


            Steve Jenson Created by Steve Jenson

            videos for me to watch later

            Browse This Group

            This is a Vimeo Group. Groups allow you to create mini communities around the things you like. Check out other interesting groups. Groups