Inproceedings,

Optimality and Inefficiency: What Isn't a Cost Model of the Lambda Calculus?

, and .
ICFP, page 92-101. ACM, (1996)SIGPLAN Notices 31(6), June 1996.

Meta data

Tags

Users

  • @dblp

Comments and Reviews