Type−indexed Data Types
Ralf Hinze‚ Johan Jeuring and Andres Löh
Details
| 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 |
Links
DOI (10.1007/3-540-45442-X_10)
Related pages
|
People |
|
|
Activities |