Inproceedings,

Lazy abstraction.

, , , and .
POPL, page 58-70. ACM, (2002)ACM SIGPLAN Notices 37(1), January 2002.

Meta data

Tags

Users

  • @dblp

Comments and Reviews