Amanote Research
Register
Sign In
A General Framework for Relational Parametricity
doi 10.1145/3209108.3209141
Full Text
Open PDF
Abstract
Available in
full text
Date
July 9, 2018
Authors
Kristina Sojakova
Patricia Johann
Publisher
ACM
Related search
Relational Parametricity for Computational Effects
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
A General Model for Relational Clustering
A Relational Framework for Higher-Order Shape Analysis
ACM SIGPLAN Notices
Computer Science
Recursive Polymorphic Types and Parametricity in an Operational Framework
O-Odm Framework for Object-Relational Databases
International Journal of Interactive Multimedia and Artificial Intelligence
A General Framework for Architecture Composability
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Relational Conceptual Framework for Multidisciplinary Health Research Centre Infrastructure
Health Research Policy and Systems
Medicine
Health Policy
A Computational Interpretation of Parametricity
A General Framework for Propagule Dispersal in Mangroves
Biological Reviews
Biochemistry
Agricultural
Genetics
Molecular Biology
Biological Sciences