Type−indexed Data Types
Ralf Hinze‚ Johan Jeuring and Andres Löh
Affiliation
Institut für Informatik III‚ Universität Bonn‚ Römerstraße 164‚ 53117 Bonn‚ Germany
Book Title
Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC '02)
Editor
Boiten‚ Eerke A. and Möller‚ Bernhard
Location
Dagstuhl‚ Germany
Month
jul
Pages
148–174
Publisher
Springer Berlin / Heidelberg
Series
Lecture Notes in Computer Science
Volume
2386
Year
2002