From the Move programming language paper: "semantics inspired by linear logic". Any even more technical references? Anybody knows anybody who really work(ed) on Move? Academic? Otherwise? I'm interested because of my "poured only once" current project http://imar.ro/~mbuliga/hapax.html