


default search action
"Reasoning about Simple and Exhaustive Demand in Highter-Order Lazy Languages."
Allen Leung, Prateek Mishra (1991)
- Allen Leung, Prateek Mishra:
Reasoning about Simple and Exhaustive Demand in Highter-Order Lazy Languages. FPCA 1991: 328-351

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.