3 ms·
Linear(-like) type systems differ from usual functional type systems by their ability to remove bindings from environment.
by thesz 1y ago
Linear(-like) type systems differ from usual functional type systems by their ability to remove bindings from environment.