Lab for Automated Reasoning and Analysis LARA

Lectures

Week 1: Functions and Evaluations

Note: Some of the early videos mention the coursera platform which was used in previous years for this course. You can ignore these segments as coursera is no longer used.

Video playlist

All slides: annotated blank

Week 2: Higher Order Functions

Video playlist

all slides: annotated blank

Week 3: Data and Abstraction

Video playlist

all slides: annotated blank

Week 4: Types and Pattern Matching

Video playlist

all slides: annotated blank

Week 5: Lists

Video playlist

all slides: annotated blank

Week 6: Collections

Video playlist

Resources:

all slides: annotated blank

Week 7: Lazy Evaluation

Video playlist

Resources:

all slides: annotated blank

Week 8: More on For-Expressions, Generators and Monads

Week 9: Functions and State

Week 10: Constraints

No more video lectures! Please go to class instead :).

Resources:

all slides

Week 11: Lisp

Slides:

Week 12: Interpreting Scheme--

Resources:

Slides:

  • 12-1 Growing an Interpreter slides
  • 12-2 Interpreting Scheme– slides

Week 13: Logic Programming

Resources:

all slides (Updated 14.12.17, 2pm)

Week 14: Exam preparation

No lecture! Instead, we'll do a recitation session on last year exam, see the Moodle announcement


For historical purposes, here is link to a previous edition of the course

 
funprog17/lectures.txt · Last modified: 2017/12/19 22:50 by guillaume