Collaborated with:
∅
Talks about:
implement (1) abstract (1) specifi (1) program (1) languag (1) algebra (1) imper (1) type (1) data (1)
Person: Muffy Thomas
DBLP: Thomas:Muffy
Contributed to:
Wrote 1 papers:
- CFLP-1987-Thomas #algebra #data type #imperative #implementation #programming language
- Implementing Algebraically Specified Abstract Data Types in an Imperative Programming Language (MT), pp. 197–211.