Lecture 5.7 - A Larger Equational Proof on Lists

Loading...
From the course by École Polytechnique Fédérale de Lausanne
Functional Programming Principles in Scala
5196 ratings
École Polytechnique Fédérale de Lausanne
5196 ratings
Course 1 of 5 in the Specialization Functional Programming in Scala

Meet the Instructors

  • Martin Odersky
    Martin Odersky
    Professor
    Computer Science

Explore our Catalog

Join for free and get personalized recommendations, updates and offers.