Relational Parametricity for Computational Effects

Logical Methods in Computer Science - Germany
doi 10.2168/lmcs-5(3:7)2009
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Logical Methods in Computer Science e.V.

Related search

A General Framework for Relational Parametricity

2018English

A Computational Interpretation of Parametricity

2012English

Modeling Adjectives in Computational Relational Lexica

2006English

Parametricity and Local Variables

1997English

Simple Noninterference From Parametricity

Proceedings of the ACM on Programming Languages
2019English

Generic Models for Computational Effects

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2006English

Theorems for Free for Free: Parametricity, With and Without Types

Proceedings of the ACM on Programming Languages
2017English

On Monadic Parametricity of Second-Order Functionals

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Exploiting Symmetry in Relational Similarity for Ranking Relational Search Results

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy