Programming Languages (895311)

Yoni Zohar
Zvika Berger
Department of Computer Science
Bar-Ilan University

Technical Details

Time and Location

Semester: BIU 2024/2025 Semester A
Lectures: Sundays, 14:00 -- 17:00
Recitations: Tuesdays, 14:00 -- 16:00, 16:00 -- 18:00, 18:00 -- 20:00
Forum: in the LAMDA (moodle) system.

Grading

4 HW (30%) and exam (70%)
MOED A: 28.02.2025, 9:00
MOED B: 28.03.2025, 9:00
Exam Example and Appendix (DAF NUSHAOT)
All HWs are mandatory.

Material

The Functional Approach to Programming by Cousinaeau and Mauny
Real World OCaml by Madhavapeddy and Minsky
Semantics with Applications: An Appetizer by Nielson and Nielson
The Formal Semantics of Programming Languages -- An Introduction by Winskel
Types and Programming Languages by Pierce
Prolog Programming for Artificial Intelligence by Ivan Bratko
JavaScript: The Definitive Guide by David Flanagan
Other resources will be given as needed.
Syllabus

Schedule

The schedule will be updated during the semester.

Date	Lesson #	Topics	Reference	HW
3.11.24	1	Introduction OCaml	Chapter 1 of "The Functional Approach to Programming" Real World OCaml utop log
10.11.24	2	OCaml Induction	Chapters 2, 3.4.4, 3.4.6, 3.4.8 of "The Functional Approach to Programming" Chapters 3.1, 3.3 of "The Formal Semantics of Programming Languages" utop log	HW 1 Due 4.12.24
17.11.24	3	Natural Semantics	Chapters 1 and 2.1 of "Semantics with Applications"
24.11.24	4
1.12.24	5			HW 2 Due 25.12.24
8.12.24	6
15.12.24	7
22.12.24	8			HW 3 Due 22.1.25
29.12.24	--	Hanukkah
5.1.25	9
12.1.25	10
19.1.25	11			HW 4 Due 5.2.25
26.1.25	12
2.2.25	13