Add to ORKGand an Application A formalisation of parametric polymorphism within and about dependent type-theory, and an application to property-based testing
Data Types, though, as Reynolds stresses, is not perfectly suited for higher type or higher order sy...
We provide a categorical framework for models of a type theory that has special types for physical q...
We provide a categorical framework for models of a type theory that has special types for physical q...
This thesis revisits the well-known notion of parametric polymorphism in the light of modern develop...
This thesis revisits the well-known notion of parametric polymorphismin the light of modern developm...
Giuseppe Longo. Parametric and type-dependent polymorphism. Fundamenta Informaticae, 22(1-2):69--92,...
Polymorphic type systems such as System F enjoy the parametricity property: polymorphic functions ca...
Abstract. We define and study parametric polymorphism for a type system with recursive, product, uni...
AbstractA polymorphic function is parametric if its behavior does not depend on the type at which it...
This paper is concerned with testing properties of polymorphic functions. The problem is that testin...
introduction taxonomy Polymorphism in ML parametric weak typed Type Inference @ Work datatyp
Dependent type theory is a powerful logic for both secure programming and computer assisted proving ...
Reynolds' theory of relational parametricity captures the invariance of polymorphically typed progra...
We present a domain-theoretic model of parametric polymorphism based on admissible per’s over a doma...
AbstractWe present a domain-theoretical model of parametric polymorphism based on admissible per’s o...
Data Types, though, as Reynolds stresses, is not perfectly suited for higher type or higher order sy...
We provide a categorical framework for models of a type theory that has special types for physical q...
We provide a categorical framework for models of a type theory that has special types for physical q...
This thesis revisits the well-known notion of parametric polymorphism in the light of modern develop...
This thesis revisits the well-known notion of parametric polymorphismin the light of modern developm...
Giuseppe Longo. Parametric and type-dependent polymorphism. Fundamenta Informaticae, 22(1-2):69--92,...
Polymorphic type systems such as System F enjoy the parametricity property: polymorphic functions ca...
Abstract. We define and study parametric polymorphism for a type system with recursive, product, uni...
AbstractA polymorphic function is parametric if its behavior does not depend on the type at which it...
This paper is concerned with testing properties of polymorphic functions. The problem is that testin...
introduction taxonomy Polymorphism in ML parametric weak typed Type Inference @ Work datatyp
Dependent type theory is a powerful logic for both secure programming and computer assisted proving ...
Reynolds' theory of relational parametricity captures the invariance of polymorphically typed progra...
We present a domain-theoretic model of parametric polymorphism based on admissible per’s over a doma...
AbstractWe present a domain-theoretical model of parametric polymorphism based on admissible per’s o...
Data Types, though, as Reynolds stresses, is not perfectly suited for higher type or higher order sy...
We provide a categorical framework for models of a type theory that has special types for physical q...
We provide a categorical framework for models of a type theory that has special types for physical q...