Recursive Polymorphic Types and Parametricity in an Operational Framework

doi 10.1109/lics.2005.42
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

IEEE

Related search

An Operational Domain-Theoretic Treatment of Recursive Types

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2013English

A General Framework for Relational Parametricity

2018English

Recursive Equivalence Types and Octahedra

Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics
1983English

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

Proceedings of the ACM on Programming Languages
2017English

An Operational ’Project Management Culture’ Framework (Part 1)

SA Journal of Human Resource Management
Human Resource ManagementDemographyOrganizational Behavior
2006English

Parametricity and Local Variables

1997English

A Calculus With Polymorphic and Polyvariant Flow Types

Journal of Functional Programming
Software
2002English

Realisability Semantics of Parametric Polymorphism, General References and Recursive Types

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2010English

Horn Clause Programs With Polymorphic Types: Semantics and Resolution

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1989English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy