Comprehensive parametric polymorphism: categorical models and type theory

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

4 Citations (Scopus)
207 Downloads (Pure)
Filter
Finished

Search results