Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Rasmus Møgelberg
Relational Parametricity for Computational Effects
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A General Framework for Relational Parametricity
A Computational Interpretation of Parametricity
Modeling Adjectives in Computational Relational Lexica
Parametricity and Local Variables
Simple Noninterference From Parametricity
Proceedings of the ACM on Programming Languages
Generic Models for Computational Effects
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Theorems for Free for Free: Parametricity, With and Without Types
Proceedings of the ACM on Programming Languages
On Monadic Parametricity of Second-Order Functionals
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Exploiting Symmetry in Relational Similarity for Ranking Relational Search Results
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
