23LUGPropositions as Types : An Introduction to Program Synthesisgio 23 lug · 18:30ETH Zurich / Zentrum / CAB G 52
30LUGJava Compiler Superpowers: Annotation Processors, Error Prone, and Coding Agentsgio 30 lug · 18:30Free Times Cafe