Type-indexed data types
Hinze, Ralf, Jeuring, Johan and Löh, Andres infobook title | Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC 2002), Dagstuhl, Germany, July 8-10, 2002 |
editor | Boiten, Eerke A. and Möller, Bernhard |
month | jul |
pages | 148—174 |
publisher | Springer |
series | LNCS |
volume | 2386 |
year | 2002 |
links
BibTeX
related pages
|
