ML 2005 Preliminary Version A Type-Safe Embedding of XDuce into ML

Cached

Download Links

by Martin Sulzmann , Kenny Zhuo , Ming Lu

Document Versions

ML 2005 Preliminary Version A Type-Safe Embedding of XDuce into ML –Martin Sulzmann, Kenny Zhuo, Ming Lu