A logic for parametric polymorphism with effects

Alexander Simpson, Rasmus Mogelberg

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

Search results