Inproceedings,

A Type-Theoretic Approach to Higher-Order Modules with Sharing.

, and .
POPL, page 123-137. ACM Press, (1994)

Meta data

Tags

Users

  • @miguel.pagano
  • @dblp

Comments and Reviews