Bifibrational functorial semantics of parametric polymorphism

Neil Ghani, Patricia Johann, Fredrik Nordvall Forsberg, Federico Orsanigo, Tim Revell

Research output: Contribution to journalArticlepeer-review

9 Citations (Scopus)
125 Downloads (Pure)
Filter
Finished

Search results