Posts tagged with "Lambda Zagreb"

• Gave a Talk: Terminating and Productive Functions
• Announcing: Talk on the Role of Types in Programming