[<<][compsci][>>][..]

Linear Lisp and Uniqueness Types

Look at Clean[1] and Uniqueness Types[2] and try to see the relation
with libprim's linear PF machine.

[1] http://en.wikipedia.org/wiki/Clean_Language
[2] http://en.wikipedia.org/wiki/Uniqueness_type



[Reply][About]
[<<][compsci][>>][..]