Amanote Research
Register
Sign In
Parametricity and Local Variables
doi 10.1007/978-1-4757-3851-3_6
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1997
Authors
Peter W. O’Hearn
Robert D. Tennent
Publisher
Birkhäuser Boston
Related search
Set Variables and Local Search
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Local Instrumental Variables
A Computational Interpretation of Parametricity
Simple Noninterference From Parametricity
Proceedings of the ACM on Programming Languages
A General Framework for Relational Parametricity
Relational Parametricity for Computational Effects
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
On Monadic Parametricity of Second-Order Functionals
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Recursive Polymorphic Types and Parametricity in an Operational Framework
Local Invariance Principle for Independent and Identically Distributed Random Variables
Теория вероятностей и ее применения
