Sumários

Assistance to Project Phase 2

11 junho 2025, 17:30 • Luís Caires

Assistance to Project Phase 2, recursive types and sasylf exercise.

Assistance to Project Phase 2

11 junho 2025, 14:30 • Luís Caires

Assistance to Project Phase 2, recursive types and sasylf exercise.

Sum up of the Course

11 junho 2025, 11:00 • Luís Caires

Discussion about possible follow-up topics of the course.

Recursive types revisited..

Development in SASyLF

4 junho 2025, 17:30 • Luís Caires

Proof of Progressin SASyLF.

Add let construct and if then else to existing proof skeleton.

Development in SASyLF

4 junho 2025, 14:30 • Luís Caires

Proof of Progressin SASyLF.

Add let construct and if then else to existing proof skeleton.