Cheap eagerness: speculative evaluation in a lazy functional language
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Type-based analysis and applications
PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Strictness, totality, and non-standard-type inference
Theoretical Computer Science - Special issue on theories of types and proofs
Mathematical Structures in Computer Science
Hi-index | 0.00 |