Inproceedings,

Adoption and Focus: Practical Linear Types for Imperative Programming.

, and .
PLDI, page 13-24. ACM, (2002)

Meta data

Tags

Users

  • @dblp

Comments and Reviews