%0 Journal Article
%A Gray, John W.
%T Executable specifications for data-type constructors
%J Diagrammes
%D 1990
%P 7-31
%V 24
%I Université Paris 7, Unité d'enseignement et de recherche de mathématiques
%U http://www.numdam.org/item/DIA_1990__24__7_0/
%G en
%F DIA_1990__24__7_0