Relational parametricity for control considered as a computational effect

by Rasmus Ejlers Møgelberg , Alex Simpson
Venue:Electr. Notes Theor. Comput. Sci
Citations:3 - 2 self