A Calculus of Inductive Linear Constructions.

Qiancheng Fu, Hongwei Xi

Browse the full ICFP paper archive.