Beyond the Elementary Representations of Program Invariants over Algebraic Data Types

Activity: Talk typesOral presentation

Period23 Jun 2021
Event title42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2021
Event typeConference
LocationVirtual, Online, Canada
Degree of RecognitionInternational