Title: The Logical Essence of Compiling With Continuations Speaker: José Espírito Santo (Centre of Mathematics, University of Minho) When: Wednesday, June 28, 2023, 14h Where: FCUL, room C6.3.27 Abstract: The essence of compiling with continuations is that conversion...
LASIGE Project Proposal Pitch to Peers When: October 25, 15:30 Where: C6.3.27 Agenda: 15:30 Welcome 15:40 João Bimbo 16:00 Sara Silva 16:20 Coffee break 16:40 Luís Pinto 17:00 Ana Filipa Rodrigues 17:20 André Souto In this session, researchers who want to submit a...