Sciweavers

ENTCS
2006

A Type-Safe Embedding of XDuce into ML

13 years 11 months ago
A Type-Safe Embedding of XDuce into ML
Martin Sulzmann, Kenny Zhuo Ming Lu
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Where ENTCS
Authors Martin Sulzmann, Kenny Zhuo Ming Lu
Comments (0)