DMCA

A query language based on the ambient logic (2001)

by Luca Cardelli , Giorgio Ghelli
Venue:In Proc. of European Symposium on Programming (ESOP
Citations:53 - 10 self