I just delivered my keynote talk at FOAL on “Towards Typesafe Join Points for Modular Reasoning in Aspect-Oriented Programs”. You can find my slides here.
I just delivered my keynote talk at FOAL on “Towards Typesafe Join Points for Modular Reasoning in Aspect-Oriented Programs”. You can find my slides here.