Relating models of polymorphism
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The Girard-Reynolds Isomorphism
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
A new framework for declarative programming
Theoretical Computer Science
The Girard--Reynolds isomorphism
Information and Computation - TACS 2001
Journal of Functional Programming
The Girard—Reynolds isomorphism (second edition)
Theoretical Computer Science
| Hi-index | 0.00 |