Back to Search Start Over

A compiled implementation of strong reduction.

Authors :
Grégoire, Benjamin
Leroy, Xavier
Source :
Proceedings of the Seventh ACM SIGPLAN International Conference: Functional Programming; 10/ 4/2002, p235-246, 12p
Publication Year :
2002

Details

Language :
English
ISBNs :
9781581134872
Database :
Complementary Index
Journal :
Proceedings of the Seventh ACM SIGPLAN International Conference: Functional Programming
Publication Type :
Conference
Accession number :
83693955
Full Text :
https://doi.org/10.1145/581478.581501