Thomas R. Puzak, A. Hartstein, et al.
CF 2007
This paper presents a comparatively general method for specifying a 'data constraint' on a parameterized data type (i.e., specifying just which category of algebras it is supposed to be defined or correct on), and shows that there is a simple canonical form for such constraint specifications. We also show how such constraints may be employed to give 'loose' specifications of data types. © 1987.
Thomas R. Puzak, A. Hartstein, et al.
CF 2007
Frank R. Libsch, S.C. Lien
IBM J. Res. Dev
Hendrik F. Hamann
InterPACK 2013
Hans Becker, Frank Schmidt, et al.
Photomask and Next-Generation Lithography Mask Technology 2004