Announcements
Themes Proposed
Functional Animation of Reactive Systems
(
LuisSoaresBarbosa
)
Coinductive Programming: Calculi and Applications
(
LuisSoaresBarbosa
)
3
Themes
?
on Point-free Programming and Recursion Patterns (
JorgeSousaPinto
)
Internships / Estágios
see anncouncement
here
(
JoostVisser
)