Polytypic values possess polykinded types
Ralf Hinze
Details
| 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. |
| Month |
jul |
| Pages |
2–27 |
| Publisher |
Springer |
| Series |
LNCS |
| Volume |
1837 |
| Year |
2000 |
Links
Related pages
|
People |
|
|
Activities |