Polytypic values possess polykinded types
Ralf Hinze
Details
| Affiliation |
Institut für Informatik III‚ Universität Bonn‚ Römerstraße 164‚ 53117 Bonn‚ Germany |
| Book Title |
Proceedings of the Fifth International Conference on Mathematics of Program Construction (MPC 2000)‚ July 3−5‚ 2000 |
| Editor |
Backhouse‚ Roland and Oliveira‚ J.N. |
| Location |
Ponte de Lima‚ Portugal |
| Month |
jul |
| Pages |
2–27 |
| Publisher |
Springer |
| Series |
LNCS |
| Volume |
1837 |
| Year |
2000 |
Links
Related pages
|
People |