Contratulations to Dr. Patricia Johann and Dr. Enrico Ghiorzi
Contratulations to Dr. Patricia Johann and Dr. Enrico Ghiorzi for having their paper, Parametricity for Nested Types and GADTs, accepted for publication in Logical Methods in Computer Science.