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
4020 ratings
École Polytechnique Fédérale de Lausanne

Functional Programming Principles in Scala

4020 ratings
Course 1 of 5 in the Specialization Functional Programming in Scala

Meet the Instructors

  • Martin Odersky
    Martin Odersky
    Professor
    Computer Science