Type Fusion
Ralf Hinze
Details
| Affiliation |
University of Oxford‚ Computing Laboratory‚ Wolfson Building‚ Parks Road‚ Oxford OX1 3QD‚ England |
| Book Title |
Thirteenth International Conference on Algebraic Methodology And Software Technology (AMAST 2010) |
| Editor |
Pavlovic‚ Dusko and Johnson‚ Michael |
| Location |
Manoir St−Castin‚ Québec‚ Canada |
| Note |
to appear |
| Publisher |
Springer−Verlag |
| Series |
Lecture Notes in Computer Science |
| Volume |
6486 |
| Year |
2010 |
Links
Related pages
|
People |