Contributed talk TYPES 2015: "The encode-decode method, relationally"

Activity: Talk or presentation typesOral presentation

Period20 May 2015
Event title21st International Conference on Types for Proofs and Programs
Event typeConference
LocationTallinn, EstoniaShow on map