A note on categorical datatypes
2005 ◽
pp. 118-127
◽