Project support

22 abril 2022, 11:30 • António Paulo Teles de Menezes Correia Leitão

Project support.

Project support

21 abril 2022, 14:00 • António Paulo Teles de Menezes Correia Leitão

Project support.

Meta-Circular Evaluators

21 abril 2022, 11:30 • António Paulo Teles de Menezes Correia Leitão

Continuations.

Continuation-passing style.

Implementation of continuations.

The evaluator in continuation-passing style.

Capturing continuations.

Uses of call/cc.

Project support

19 abril 2022, 16:00 • António Paulo Teles de Menezes Correia Leitão

Project support.

Project support

19 abril 2022, 14:00 • António Paulo Teles de Menezes Correia Leitão

Project support.