Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by J. Vouillon
Recursive Polymorphic Types and Parametricity in an Operational Framework
Related publications
An Operational Domain-Theoretic Treatment of Recursive Types
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
A General Framework for Relational Parametricity
Recursive Equivalence Types and Octahedra
Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics
Theorems for Free for Free: Parametricity, With and Without Types
Proceedings of the ACM on Programming Languages
An Operational ’Project Management Culture’ Framework (Part 1)
SA Journal of Human Resource Management
Human Resource Management
Demography
Organizational Behavior
Parametricity and Local Variables
A Calculus With Polymorphic and Polyvariant Flow Types
Journal of Functional Programming
Software
Realisability Semantics of Parametric Polymorphism, General References and Recursive Types
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Horn Clause Programs With Polymorphic Types: Semantics and Resolution
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
