User-Defined Shape Constraints in SAC

F. Tang, C. Grelck
January 2012
Type
Conference paper
Publication
Draft proceedings of the 24th Symposium on Implementation and Application of Functional Languages (IFL 2012)