Relational Parametricity for Computational Effects

22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) ◽

10.1109/lics.2007.40 ◽

2007 ◽

Cited By ~ 6

Author(s):

Rasmus Ejlers Mogelberg ◽

Alex Simpson

Download Full-text