Skip to content

The Yoneda Reduction of Polymorphic Types (Abstract).

Paolo Pistone, Luca Tranchini

VenueA*KR
Year2021
ProceedingsSOQE@KR

Browse the full KR paper archive.