Report on the programming language Haskell: a non-strict, purely functional language version 1.2
ACM SIGPLAN Notices - Haskell special issue
The Girard-Reynolds Isomorphism
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
The Girard--Reynolds isomorphism
Information and Computation - TACS 2001
ACM SIGPLAN Notices
Hi-index | 0.00 |